From 455d9558417a759fae3ccbe5cde5c9f5064a08d2 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 6 Jun 2010 11:06:44 +0000 Subject: changes in SUMO: formatting and fixes for lots of lots of small problems --- examples/SUMO/Engineering.gf | 1007 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1007 insertions(+) create mode 100644 examples/SUMO/Engineering.gf (limited to 'examples/SUMO/Engineering.gf') diff --git a/examples/SUMO/Engineering.gf b/examples/SUMO/Engineering.gf new file mode 100644 index 000000000..e9059da8a --- /dev/null +++ b/examples/SUMO/Engineering.gf @@ -0,0 +1,1007 @@ +abstract Engineering = MidLevelOntology ** { + + -- A PureTwopole that accumulates across variable. + fun AcrossVariableAccumulator : Class ; + fun AcrossVariableAccumulator_Class : SubClass AcrossVariableAccumulator PureTwopole ; + + -- A Source that models a generator of across variable. + fun AcrossVariableSource : Class ; + fun AcrossVariableSource_Class : SubClass AcrossVariableSource Source ; + + -- algebraic equation or set of equations + fun AlgebraicAttribute : Ind EquationAttribute ; + + -- An Equation that is not + -- a DifferentialEquation + fun AlgebraicEquation : Class ; + fun AlgebraicEquation_Class : SubClass AlgebraicEquation Equation ; + + -- Set of both differential and algebraic equations + fun AlgebroDifferentialAttribute : Ind InternalAttribute ; + + -- Electronic equipment that increases strength of + -- signals passing through it, it can be modeled using a controlled + -- source, or an operational amplifier. + fun Amplifier : Class ; + fun Amplifier_Class : SubClass Amplifier ElectricalCircuit ; + + -- PhysicalDimension of angular velocity, [s^_1]. + fun AngularVelocity : Ind PhysicalDimension ; + + -- set of application domains (medicine, physics, etc) + fun ApplicationDomain : Class ; + fun ApplicationDomain_Class : SubClass ApplicationDomain InternalAttribute ; + + -- article + fun ArticleCategory : Ind DocumentCategory ; + + -- astronomy + fun AstronomyDomain : Class ; + fun AstronomyDomain_Class : SubClass AstronomyDomain PhysicsDomain ; + + -- For given class and for given attribute, return + -- a subclass of the class of object having the attribute + fun AttrFn : Class -> El Attribute -> Class ; + + -- autonomous + fun Autonomous : Class ; + fun Autonomous_Class : SubClass Autonomous InternalAttribute ; + + -- With no backlash. + fun Backlashless : Class ; + fun Backlashless_Class : SubClass Backlashless InternalAttribute ; + + -- the part of a transistor that separates the emitter + -- from the collector + fun Base : Class ; + fun Base_Class : SubClass Base Terminal ; + + -- Battery is a subclass of Device. Batteries are + -- devices that use chemical means to store or produce electrical power. + fun Battery : Class ; + fun Battery_Class : SubClass Battery (both ElectricDevice DCPowerSource) ; + + -- Bessel's equation + fun BesselsEquation : Class ; + fun BesselsEquation_Class : SubClass BesselsEquation (both NonlinearEquation OrdinaryDifferentialEquation) ; + + -- Bipolar transistor + fun BjtTransistor : Class ; + fun BjtTransistor_Class : SubClass BjtTransistor Transistor ; + + -- A SinglePhaseRectifier of + -- that exploits both polarities of the input power source. + fun BridgeSinglePhaseRectifier : Class ; + fun BridgeSinglePhaseRectifier_Class : SubClass BridgeSinglePhaseRectifier SinglePhaseRectifier ; + + -- With no brushes (of electrical motors) + fun Brushless : Class ; + fun Brushless_Class : SubClass Brushless InternalAttribute ; + + -- An ElectricalComponent characterized by its + -- capacitance. + fun Capacitor : Class ; + fun Capacitor_Class : SubClass Capacitor ElectricalComponent ; + + -- An AcrossVariableAccumulator from electrical energy domain. + fun CapacitorElement : Class ; + fun CapacitorElement_Class : SubClass CapacitorElement ElectricDevice ; + + -- 4_wheeled motor vehicle, usually propelled by + -- an internal combustion engine + fun Car : Class ; + fun Car_Class : SubClass Car Vehicle ; + + -- circuit theory + fun CircuitTheoryDomain : Class ; + fun CircuitTheoryDomain_Class : SubClass CircuitTheoryDomain (both ElectricalEngineeringDomain PhysicsDomain) ; + + -- the electrode in a transistor through which a + -- primary flow of carriers leaves the inter_electrode region + fun Collector : Class ; + fun Collector_Class : SubClass Collector Terminal ; + + -- The ability of material to stretch or bend. + fun Compliance : Ind PhysicalAttribute ; + + -- A collection of bytes stored as an + -- individual entity. All data on disk is stored as a file with an + -- assigned file name that is unique within the folder (directory) + -- it resides in. ComputerFile file systems contain only files and folders + fun ComputerFile : Class ; + fun ComputerFile_Class : SubClass ComputerFile ContentBearingObject ; + + fun ComputerProgram_ITAgent : SubClass ComputerProgram ITAgent ; + + -- the ability of a material to lead current + fun Conductivity : Ind PhysicalAttribute ; + + -- A Substance that readily conducts + -- electricity. + fun ConductorSubstance : Class ; + fun ConductorSubstance_Class : SubClass ConductorSubstance Substance ; + + -- A class of control design method + fun ControlDesignMethod : Class ; + fun ControlDesignMethod_Class : SubClass ControlDesignMethod Method ; + + -- control + fun ControlDomain : Class ; + fun ControlDomain_Class : SubClass ControlDomain EngineeringDomain ; + + -- a mechanism that controls the operation of some + -- device + fun Controller : Class ; + fun Controller_Class : SubClass Controller UnknownDomainDevice ; + + -- PhysicalDimension of electrical current, [A]. + fun Current : Ind PhysicalDimension ; + + -- A direct_current PowerSource. + fun DCPowerSource : Class ; + fun DCPowerSource_Class : SubClass DCPowerSource PowerSource ; + + -- A Dissipator from translatory energy domain. + fun DamperElement : Class ; + fun DamperElement_Class : SubClass DamperElement (both Dissipator TranslatoryTwopole) ; + + -- A direct_current electrical motor. + fun DcMotor : Class ; + fun DcMotor_Class : SubClass DcMotor ElectricalMotor ; + + -- differential equation or set of equations + fun DifferentialAttribute : Ind EquationAttribute ; + + -- An Equation containing differentials + -- of a function + fun DifferentialEquation : Class ; + fun DifferentialEquation_Class : SubClass DifferentialEquation Equation ; + + -- Dimensionless PhysicalDimension. + fun Dimensionless : Ind PhysicalDimension ; + + -- A semiconductor device that consists of a p_n + -- junction, it is used e.g. in rectifiers or demodulators. + fun Diode : Class ; + fun Diode_Class : SubClass Diode SemiconductorComponent ; + + -- Valve that controls the direction + -- of flow of a fluid + fun DirectionalControlValve : Class ; + fun DirectionalControlValve_Class : SubClass DirectionalControlValve Valve ; + + -- A method of converting continuous problem + -- to a discrete one, loaded by some discretization error. + fun Discretization : Class ; + fun Discretization_Class : SubClass Discretization MathematicalMethod ; + + -- A PureTwopole that models a dissipation of energy. + fun Dissipator : Class ; + fun Dissipator_Class : SubClass Dissipator PureTwopole ; + + -- document category + fun DocumentCategory : Class ; + fun DocumentCategory_Class : SubClass DocumentCategory WebDocumentAttribute ; + + -- A SinglePhaseRectifier of + -- that exploits both polarities of the input power source. + fun DoublerSinglePhaseRectifier : Class ; + fun DoublerSinglePhaseRectifier_Class : SubClass DoublerSinglePhaseRectifier SinglePhaseRectifier ; + + -- Asserts that the constitutive relation of + -- a multipole does depend on time. + fun DynamicMultipole : Ind MultipoleAttribute ; + + -- Electrical energetic interaction + fun Electrical : Ind PhysicalDomain ; + + -- A complex ElectricDevice consisting + -- of several mutually interconnected electrical components. + fun ElectricalCircuit : Class ; + fun ElectricalCircuit_Class : SubClass ElectricalCircuit ElectricDevice ; + + -- A discrete ElectricDevice for + -- general usage, such as resistors, capacitors, diodes, transistors etc. + fun ElectricalComponent : Class ; + fun ElectricalComponent_Class : SubClass ElectricalComponent ElectricDevice ; + + -- An ElectricalComponent designed to + -- transmit electricity + fun ElectricalConductor : Class ; + fun ElectricalConductor_Class : SubClass ElectricalConductor ElectricalComponent ; + + -- electrical drives (motors) + fun ElectricalDrivesDomain : Class ; + fun ElectricalDrivesDomain_Class : SubClass ElectricalDrivesDomain ElectroMechanicalDevicesDomain ; + + -- domain involving electrical engineering + fun ElectricalEngineeringDomain : Class ; + fun ElectricalEngineeringDomain_Class : SubClass ElectricalEngineeringDomain EngineeringDomain ; + + -- A Method used in electrical + -- engineering for designing and constructing electrical devices. + fun ElectricalEngineeringMethod : Class ; + fun ElectricalEngineeringMethod_Class : SubClass ElectricalEngineeringMethod Method ; + + -- An electrical motor. + fun ElectricalMotor : Class ; + fun ElectricalMotor_Class : SubClass ElectricalMotor (both ElectricDevice Motor) ; + + -- A MultipoleModel containing only + -- electrical multipoles. + fun ElectricalMultipoleModel : Class ; + fun ElectricalMultipoleModel_Class : SubClass ElectricalMultipoleModel MultipoleModel ; + + -- A Process in which electrical + -- interactions take place + fun ElectricalProcess : Class ; + fun ElectricalProcess_Class : SubClass ElectricalProcess NaturalProcess ; + + -- a resonance of electrical energy. + fun ElectricalResonance : Class ; + fun ElectricalResonance_Class : SubClass ElectricalResonance (both ElectricalProcess Resonance) ; + + -- A PureTwopole from electrical energy domain. + fun ElectricalTwopole : Class ; + fun ElectricalTwopole_Class : SubClass ElectricalTwopole PureTwopole ; + + -- electrical drives (motors) + fun ElectroMechanicalDevicesDomain : Class ; + fun ElectroMechanicalDevicesDomain_Class : SubClass ElectroMechanicalDevicesDomain (both ElectricalEngineeringDomain MechanicalEngineeringDomain) ; + + -- electronic circuits _ electrical circuits + -- containing complex semiconductor components + fun ElectronicsDomain : Class ; + fun ElectronicsDomain_Class : SubClass ElectronicsDomain ElectricalEngineeringDomain ; + + -- the electrode in a transistor where electrons originate + fun Emitter : Class ; + fun Emitter_Class : SubClass Emitter Terminal ; + + -- engineering (mechanical, electrical) + fun EngineeringDomain : Class ; + fun EngineeringDomain_Class : SubClass EngineeringDomain ScienceDomain ; + + -- a process of designing, manufacturing and + -- operating of an engineering system involving all stages of the life cycle. + fun EngineersProcess : Class ; + fun EngineersProcess_Class : SubClass EngineersProcess EngineersSubprocess ; + + -- a class of subprocesses that are needed to + -- design and operate an engineering system + fun EngineersSubprocess : Class ; + fun EngineersSubprocess_Class : SubClass EngineersSubprocess IntentionalProcess ; + + -- a mathematical statement that two expressions are equal. + fun Equation : Class ; + fun Equation_Class : SubClass Equation Proposition ; + + -- an attribute that applies to an equation + -- or to a set of equations + fun EquationAttribute : Class ; + fun EquationAttribute_Class : SubClass EquationAttribute InternalAttribute ; + + -- Field_effect transistor. + fun FetTransistor : Class ; + fun FetTransistor_Class : SubClass FetTransistor Transistor ; + + -- file system + fun FileSystem : Class ; + fun FileSystem_Class : SubClass FileSystem Group ; + + -- A DifferentialEquation + -- where variables are differentiated only once. + fun FirstOrderDifferentialEquation : Class ; + fun FirstOrderDifferentialEquation_Class : SubClass FirstOrderDifferentialEquation DifferentialEquation ; + + -- A FluidPowerDevice designed to transform + -- fluid_power energy into mechanical translatory energy. + fun FluidCylinder : Class ; + fun FluidCylinder_Class : SubClass FluidCylinder (both FluidPowerDevice MechanicalDevice) ; + + -- Fluid power energetic interaction + fun FluidPower : Ind PhysicalDomain ; + + -- An EngineeringComponent in function of + -- which play role fluid_power energetical interactions. + fun FluidPowerDevice : Class ; + fun FluidPowerDevice_Class : SubClass FluidPowerDevice EngineeringComponent ; + + -- fluid power (hydraulic) systems + fun FluidPowerDomain : Class ; + fun FluidPowerDomain_Class : SubClass FluidPowerDomain MechanicalEngineeringDomain ; + + -- PhysicalDimension of force, [N]. + fun Force : Ind PhysicalDimension ; + + -- Computing a Fourier series for given + -- periodic function + fun FourierAnalysis : Class ; + fun FourierAnalysis_Class : SubClass FourierAnalysis MathematicalMethod ; + + -- Reconstruction of a periodic function + -- from its Fourier series representation. + fun FourierSynthesis : Class ; + fun FourierSynthesis_Class : SubClass FourierSynthesis MathematicalMethod ; + + -- A Multipole with exactly four poles. + fun Fourpole : Class ; + fun Fourpole_Class : SubClass Fourpole Multipole ; + + -- Alters the frequency spectrum of signals + -- passing through it + fun FrequencyFilter : Class ; + fun FrequencyFilter_Class : SubClass FrequencyFilter ElectricalCircuit ; + + -- A MechanicalProcess in which mechanical + -- energy is converted into a heat + fun Friction : Class ; + fun Friction_Class : SubClass Friction MechanicalProcess ; + + -- a toothed wheel that engages another toothed + -- mechanism in order to change the speed or direction of transmitted motion. + fun Gear : Class ; + fun Gear_Class : SubClass Gear MechanicalDevice ; + + -- a pair of gears that are used to change speed or + -- direction of an angular motion, ideal gear train can be modeled using + -- a transformer. + fun GearTrain : Class ; + fun GearTrain_Class : SubClass GearTrain MechanicalDevice ; + + -- A device composed of several gear_trains used + -- to change speed and torque of transmitted motion. + fun Gearbox : Class ; + fun Gearbox_Class : SubClass Gearbox MechanicalDevice ; + + -- A Transducer for which the ratio of + -- across variable on one side and through variable on the + -- other side is equal to the ratio of the remaining two variables. + fun Gyrator : Class ; + fun Gyrator_Class : SubClass Gyrator Transducer ; + + -- A SinglePhaseRectifier of + -- that exploits only one polarity of the input power source. + fun HalfWaveSinglePhaseRectifier : Class ; + fun HalfWaveSinglePhaseRectifier_Class : SubClass HalfWaveSinglePhaseRectifier SinglePhaseRectifier ; + + -- A DifferentialEquation + -- where variables are differentiated more than once. + fun HigherOrderDifferentialEquation : Class ; + fun HigherOrderDifferentialEquation_Class : SubClass HigherOrderDifferentialEquation DifferentialEquation ; + + fun Human_ITAgent : SubClass Human ITAgent ; + + -- agent capable of performing ITProcess + fun ITAgent : Class ; + fun ITAgent_Class : SubClass ITAgent Agent ; + + -- A process performed on a computer by a human + -- operator. + fun ITProcess : Class ; + fun ITProcess_Class : SubClass ITProcess IntentionalProcess ; + + -- A Fourpole modeling an + -- OperationalAmplifier with ideal properties. + fun IdealOperationalAmplifier : Class ; + fun IdealOperationalAmplifier_Class : SubClass IdealOperationalAmplifier Fourpole ; + + -- A PureTwopole that models an ideal switch. + fun IdealSwitch : Class ; + fun IdealSwitch_Class : SubClass IdealSwitch PureTwopole ; + + -- A PureTwopole that is linear. + fun IdealTwopole : Class ; + fun IdealTwopole_Class : SubClass IdealTwopole PureTwopole ; + + -- Asserts that a constitutive relation of a multipole + -- does not refer to other variables than terminal or inner. + fun IndependentMultipole : Ind MultipoleAttribute ; + + -- A property of an electric circuit by which an + -- electromotive force is induced in it by a variation of current. + fun Inductance : Class ; -- subattribute PhysicalAttribute + + -- An electrical motor powered by a three_phase power suply. + fun InductionMotor : Class ; + fun InductionMotor_Class : SubClass InductionMotor ElectricalMotor ; + + -- An ElectricalComponent that introduces inductance into a circuit. + fun Inductor : Class ; + fun Inductor_Class : SubClass Inductor ElectricalComponent ; + + -- A ThroughVariableAccumulator from electrical energy domain. + fun InductorElement : Class ; + fun InductorElement_Class : SubClass InductorElement ElectricDevice ; + + -- An AcrossVariableAccumulator from translatory energy domain. + fun Inertor : Class ; + fun Inertor_Class : SubClass Inertor (both AcrossVariableAccumulator TranslatoryTwopole) ; + + -- The process of deploying an application + -- on a computer. + fun Installation : Class ; + fun Installation_Class : SubClass Installation ITProcess ; + + -- a Substance such as glass or + -- porcelain with negligible electrical conductivity. + fun InsulatorSubstance : Class ; + fun InsulatorSubstance_Class : SubClass InsulatorSubstance Substance ; + + -- An Amplifier that changes the polarity of the input signal. + fun InvertingAmplifier : Class ; + fun InvertingAmplifier_Class : SubClass InvertingAmplifier Amplifier ; + + -- Junction field_effect transistor. + fun JfetTransistor : Class ; + fun JfetTransistor_Class : SubClass JfetTransistor FetTransistor ; + + -- light emitted at a p_n junction is proportional + -- to the bias current, color depends on the material used + fun LED : Class ; + fun LED_Class : SubClass LED Diode ; + + -- PhysicalDimension of length, [m]. + fun Length : Ind PhysicalDimension ; + + -- adjective + fun LexAdjective : Ind LexiconCategory ; + + -- adverb + fun LexAdverb : Ind LexiconCategory ; + + -- noun + fun LexNoun : Ind LexiconCategory ; + + -- verb + fun LexVerb : Ind LexiconCategory ; + + -- WordNet category: noun, verb, adjective or adverb + fun LexiconCategory : Class ; + fun LexiconCategory_Class : SubClass LexiconCategory InternalAttribute ; + + -- library model + fun LibraryModelCategory : Ind DocumentCategory ; + + -- A polynomial Equation of the first degree. + fun LinearEquation : Class ; + fun LinearEquation_Class : SubClass LinearEquation Equation ; + + -- Asserts that the constitutive relation of + -- a multipole is linear. + fun LinearMultipole : Ind MultipoleAttribute ; + + -- A Method that involves using mathematical aparatus. + fun MathematicalMethod : Class ; + fun MathematicalMethod_Class : SubClass MathematicalMethod Method ; + + -- A model that uses the mathematical aparatus + fun MathematicalModel : Class ; + fun MathematicalModel_Class : SubClass MathematicalModel Model ; + + -- A model of a Pendulum consisting + -- of a mass hanged on a stiff string. + fun MathematicalPendulum : Class ; + fun MathematicalPendulum_Class : SubClass MathematicalPendulum MathematicalModel ; + + -- mathematics + fun MathematicsDomain : Class ; + fun MathematicsDomain_Class : SubClass MathematicsDomain NaturalSciencesDomain ; + + -- An EngineeringComponent in function of + -- which play role mechanical energetical interactions. + fun MechanicalDevice : Class ; + fun MechanicalDevice_Class : SubClass MechanicalDevice EngineeringComponent ; + + -- domain involving mechanical engineering + fun MechanicalEngineeringDomain : Class ; + fun MechanicalEngineeringDomain_Class : SubClass MechanicalEngineeringDomain EngineeringDomain ; + + -- A Process in which mechanical interactions take place + fun MechanicalProcess : Class ; + fun MechanicalProcess_Class : SubClass MechanicalProcess NaturalProcess ; + + -- a resonance of mechanical energy. + fun MechanicalResonance : Class ; + fun MechanicalResonance_Class : SubClass MechanicalResonance (both MechanicalProcess Resonance) ; + + -- basic (theoretic) mechanics + fun MechanicsDomain : Class ; + fun MechanicsDomain_Class : SubClass MechanicsDomain PhysicsDomain ; + + -- a way of doing something, esp. a systematic one; + -- implies an orderly logical arrangement (usually in steps). + fun Method : Class ; + fun Method_Class : SubClass Method Procedure ; + + -- An abstract object that models certain aspect of a + -- physical object, is subject to abstraction and idealization. + fun Model : Class ; + fun Model_Class : SubClass Model Abstract ; + + -- A creative process of creating a model. + fun Modeling : Class ; + fun Modeling_Class : SubClass Modeling IntentionalProcess ; + + -- Metal_oxyde semiconductor field_effect + -- transistor. + fun MosfetTransistor : Class ; + fun MosfetTransistor_Class : SubClass MosfetTransistor FetTransistor ; + + -- An actuator intended to deliver mechanical power + fun Motor : Class ; + fun Motor_Class : SubClass Motor MechanicalDevice ; + + -- Basic element of a multipole diagram, a + -- multipole is a model of a component of a dynamic system, it can model a + -- real separable component, such as a motor of a vehicle, or just an + -- attribute of the system, such as inertia or friction, multipole interacts + -- with other multipoles through its poles. Multipole Each multipole must have at least one section. + fun Multipole : Class ; + fun Multipole_Class : SubClass Multipole Model ; + + -- a set of tags that can be associated with multipoles + fun MultipoleAttribute : Class ; + fun MultipoleAttribute_Class : SubClass MultipoleAttribute InternalAttribute ; + + -- Graphical representation of a MultipoleModel. + fun MultipoleDiagram : Class ; + fun MultipoleDiagram_Class : SubClass MultipoleDiagram ContentBearingObject ; + + -- Model of a physical system consisting of + -- mutually interconnected multipoles. + fun MultipoleModel : Class ; + fun MultipoleModel_Class : SubClass MultipoleModel Model ; + + -- modeling of a dynamic system by means of + -- its representation by a multipole diagram. + fun MultipoleModeling : Class ; + fun MultipoleModeling_Class : SubClass MultipoleModeling Modeling ; + + -- A part of multipole pole that models + -- a single energetical interaction. If a pole belongs to a multipole, it also belongs to + -- one of its sections. + fun MultipolePole : Class ; + fun MultipolePole_Class : SubClass MultipolePole Model ; + + -- MultipoleSection that contains exactly two + -- poles. MultipolePort Ports do not have three distinct poles. + fun MultipolePort : Class ; + fun MultipolePort_Class : SubClass MultipolePort MultipoleSection ; + + -- One of the postulates of the multipole modeling theory. + fun MultipolePostulate : Class ; + + -- a multipole variable that have physical + -- dimension and meaning. + fun MultipoleQuantity : Class ; + fun MultipoleQuantity_Class : SubClass MultipoleQuantity Quantity ; + + -- A set of poles that is subject to + -- the postulate of continuity. A multipole may consist of one or + -- more sections. Sections of a single multipole do not overlap + -- and cover all its poles. MultipoleSection Each section must have at least two distinct poles. + fun MultipoleSection : Class ; + fun MultipoleSection_Class : SubClass MultipoleSection Model ; + + -- a variable that describes energetical + -- interactions between multipoles. + fun MultipoleVariable : Class ; + fun MultipoleVariable_Class : SubClass MultipoleVariable Number ; + + -- Property whereby an electromotive force is + -- induced in a circuit by variation of current in a neighboring circuit. + fun MutualInductance : Class ; + fun MutualInductance_Class : SubClass MutualInductance Inductance ; + + -- natural sciences (mathematics, physics) + fun NaturalSciencesDomain : Class ; + fun NaturalSciencesDomain_Class : SubClass NaturalSciencesDomain ScienceDomain ; + + -- A body remains at rest or in motion with + -- a constant velocity unless acted upon by an external force + fun NewtonsFirstLaw : Class ; + fun NewtonsFirstLaw_Class : SubClass NewtonsFirstLaw NewtonsLaw ; + + -- One of three basic laws of classical mechanics. + fun NewtonsLaw : Class ; + fun NewtonsLaw_Class : SubClass NewtonsLaw ScientificLaw ; + + -- The rate of change of momentum is + -- proportional to the imposed force and goes in the direction of + -- the force + fun NewtonsSecondLaw : Class ; + fun NewtonsSecondLaw_Class : SubClass NewtonsSecondLaw NewtonsLaw ; + + -- Action and reaction are equal and opposite. + fun NewtonsThirdLaw : Class ; + fun NewtonsThirdLaw_Class : SubClass NewtonsThirdLaw NewtonsLaw ; + + -- An Amplifier that does not change the polarity + -- of the input signal. + fun NoninvertingAmplifier : Class ; + fun NoninvertingAmplifier_Class : SubClass NoninvertingAmplifier Amplifier ; + + -- The description of the entity (e.g. a Model) + -- involves nonlinear functions. + fun Nonlinear : Class ; + fun Nonlinear_Class : SubClass Nonlinear InternalAttribute ; + + -- An ElectricalMultipoleModel containing + -- nonlinear multipoles. + fun NonlinearCircuit : Class ; + fun NonlinearCircuit_Class : SubClass NonlinearCircuit ElectricalMultipoleModel ; + + -- An Equation that is not a LinearEquation. + fun NonlinearEquation : Class ; + fun NonlinearEquation_Class : SubClass NonlinearEquation Equation ; + + -- A BjtTransistor with N_P_N junctions. + fun NpnTransistor : Class ; + fun NpnTransistor_Class : SubClass NpnTransistor BjtTransistor ; + + -- A complex semiconductor device with + -- behaviour similar to the IdealOperationalAmplifier. + fun OperationalAmplifier : Class ; + fun OperationalAmplifier_Class : SubClass OperationalAmplifier ElectricalCircuit ; + + -- A DifferentialEquation + -- that is not a PartialDifferentialEquation. + fun OrdinaryDifferentialEquation : Class ; + fun OrdinaryDifferentialEquation_Class : SubClass OrdinaryDifferentialEquation DifferentialEquation ; + + -- Resonance taking place in a series RLC + -- circuit, i.e. in a circuit where its elements are connected in_series. + fun ParallelResonance : Class ; + fun ParallelResonance_Class : SubClass ParallelResonance ElectricalResonance ; + + -- A DifferentialEquation + -- involving a functions of more than one variable. + fun PartialDifferentialEquation : Class ; + fun PartialDifferentialEquation_Class : SubClass PartialDifferentialEquation DifferentialEquation ; + + -- A MechanicalDevice of an object mounted so that + -- it swings freely under the influence of gravity. + fun Pendulum : Class ; + fun Pendulum_Class : SubClass Pendulum MechanicalDevice ; + + -- A DC motor in which the auxiliary + -- magnetic field is provided by a permanent magnet. + fun PermanentMagnetDcMotor : Class ; + fun PermanentMagnetDcMotor_Class : SubClass PermanentMagnetDcMotor DcMotor ; + + -- A physical dimension such as + -- length, mass, force etc. + fun PhysicalDimension : Class ; + fun PhysicalDimension_Class : SubClass PhysicalDimension Quantity ; + + -- An attribute of a multipole pole describing + -- the kind of physical interaction the pole models. + fun PhysicalDomain : Class ; + fun PhysicalDomain_Class : SubClass PhysicalDomain InternalAttribute ; + + -- physics + fun PhysicsDomain : Class ; + fun PhysicsDomain_Class : SubClass PhysicsDomain NaturalSciencesDomain ; + + -- A BjtTransistor with P_N_P junctions. + fun PnpTransistor : Class ; + fun PnpTransistor_Class : SubClass PnpTransistor BjtTransistor ; + + -- The sum of through variables of + -- poles of multipole section is equal to zero. + fun PostulateOfContinuity : Class ; + fun PostulateOfContinuity_Class : SubClass PostulateOfContinuity MultipolePostulate ; + + -- PhysicalDimension of power, [W]. + fun Power : Ind PhysicalDimension ; + + -- power electronic circuits (power supplies etc.) + fun PowerElectronicsDomain : Class ; + fun PowerElectronicsDomain_Class : SubClass PowerElectronicsDomain ElectronicsDomain ; + + -- PhysicalDimension of pressure, [Pa],[N.m^_2]. + fun Pressure : Ind PhysicalDimension ; + + -- valve that controls the pressure in a fluid + fun PressureControlValve : Class ; + fun PressureControlValve_Class : SubClass PressureControlValve Valve ; + + -- A Twopole that models single physical + -- phenomenon, its constitutive relation has special structure. + fun PureTwopole : Class ; + fun PureTwopole_Class : SubClass PureTwopole Twopole ; + + -- Pulse_width modulation technique + fun Pwm : Class ; + fun Pwm_Class : SubClass Pwm ElectricalEngineeringMethod ; + + -- An ElectricalMultipoleModel containing + -- a ResistorElement and a CapacitorElement. + fun RCCircuit : Class ; + fun RCCircuit_Class : SubClass RCCircuit ElectricalMultipoleModel ; + + -- An ElectricalMultipoleModel containing + -- a ResistorElement, an InductorElement and a CapacitorElement. + fun RLCCircuit : Class ; + fun RLCCircuit_Class : SubClass RLCCircuit ElectricalMultipoleModel ; + + -- An ElectricalMultipoleModel containing + -- a ResistorElement and an InductorElement. + fun RLCircuit : Class ; + fun RLCircuit_Class : SubClass RLCircuit ElectricalMultipoleModel ; + + -- electrical device that transforms alternating + -- into direct current. + fun Rectifier : Class ; + fun Rectifier_Class : SubClass Rectifier ElectricalCircuit ; + + -- an electro_mechanical device used as a controlled switch + fun Relay : Class ; + fun Relay_Class : SubClass Relay (both ElectricalComponent MechanicalDevice) ; + + -- relays + fun RelaysDomain : Class ; + fun RelaysDomain_Class : SubClass RelaysDomain ElectroMechanicalDevicesDomain ; + + -- Most common type of a presure control valve; + -- it consists of a piston that is retained on its seat by a spring + fun ReliefValve : Class ; + fun ReliefValve_Class : SubClass ReliefValve PressureControlValve ; + + -- A material's opposition to the flow of + -- electric current. + fun Resistivity : Ind PhysicalAttribute ; + + -- An ElectricalComponent that resists the flow of + -- electrical current. A Dissipator from electrical energy domain. + fun ResistorElement : Class ; + fun ResistorElement_Class : SubClass ResistorElement (both ElectricDevice ElectricalComponent) ; + + -- a vibration of large amplitude produced by + -- a relatively small vibration near the same frequency of vibration + -- as the natural frequency of the resonating system. + fun Resonance : Class ; + fun Resonance_Class : SubClass Resonance NaturalProcess ; + + -- Root_locus control design method + fun RootLocus : Class ; + fun RootLocus_Class : SubClass RootLocus ControlDesignMethod ; + + -- Mechanic rotary energetic interaction + fun Rotary : Ind PhysicalDomain ; + + -- The Rotating component of a motor, generator or similar + -- Device. Rotor The rotating armature of a motor or generator. + fun Rotor : Class ; + fun Rotor_Class : SubClass Rotor (both EngineeringComponent (both ElectricDevice MechanicalDevice)) ; + + -- science (natural sciences, engineering, medicine...) + fun ScienceDomain : Class ; + fun ScienceDomain_Class : SubClass ScienceDomain ApplicationDomain ; + + -- A generalization based on recurring facts or events + -- (in science or mathematics etc) + fun ScientificLaw : Class ; + fun ScientificLaw_Class : SubClass ScientificLaw Proposition ; + + -- An electrical device that exploits + -- properties of semiconductors. + fun SemiconductorComponent : Class ; + fun SemiconductorComponent_Class : SubClass SemiconductorComponent ElectricalComponent ; + + -- A DC motor in which the auxiliary + -- magnetic field is provided an active circuit. + fun SeparatelyExcitedDcMotor : Class ; + fun SeparatelyExcitedDcMotor_Class : SubClass SeparatelyExcitedDcMotor DcMotor ; + + -- Resonance taking place in a parallel RLC + -- circuit, i.e. in a circuit where its elements are connected in_parallel. + fun SeriesResonance : Class ; + fun SeriesResonance_Class : SubClass SeriesResonance ElectricalResonance ; + + -- A Set of equations + fun SetOfEquations : Class ; + fun SetOfEquations_Class : SubClass SetOfEquations Set ; + + -- A revolving rod that transmits power or motion. + fun Shaft : Class ; + fun Shaft_Class : SubClass Shaft MechanicalDevice ; + + -- A PowerSource of single phase + -- alternating current. + fun SinglePhasePowerSource : Class ; + fun SinglePhasePowerSource_Class : SubClass SinglePhasePowerSource PowerSource ; + + -- A Rectifier of single phase AC + -- voltage. + fun SinglePhaseRectifier : Class ; + fun SinglePhaseRectifier_Class : SubClass SinglePhaseRectifier Rectifier ; + + -- solved example + fun SolvedExampleCategory : Ind DocumentCategory ; + + -- A PureTwopole that models a generator of either across or through variable. + fun Source : Class ; + fun Source_Class : SubClass Source PureTwopole ; + + -- a directional control valve that uses a spool + -- to control the direction of flow + fun SpoolValve : Class ; + fun SpoolValve_Class : SubClass SpoolValve DirectionalControlValve ; + + -- a metal device that returns to its shape or + -- position when pushed or pulled or pressed + fun Spring : Class ; + fun Spring_Class : SubClass Spring MechanicalDevice ; + + -- A ThroughVariableAccumulator from translatory energy domain. + fun SpringElement : Class ; + fun SpringElement_Class : SubClass SpringElement (both ThroughVariableAccumulator TranslatoryTwopole) ; + + -- Stationary part of a motor or generator in or + -- around which the rotor revolves. + fun Stator : Class ; + fun Stator_Class : SubClass Stator (both ElectricDevice MechanicalDevice) ; + + -- The physical property of being inflexible + -- and hard to stretch. + fun Stiffness : Ind PhysicalAttribute ; + + -- a process of designing an engineering system + fun SystemDesign : Class ; + fun SystemDesign_Class : SubClass SystemDesign EngineersSubprocess ; + + -- a process of specifying requirements + -- on a system + fun SystemSpecification : Class ; + fun SystemSpecification_Class : SubClass SystemSpecification EngineersSubprocess ; + + -- A practical Method or art applied to some + -- particular task + fun Technique : Class ; + fun Technique_Class : SubClass Technique Method ; + + -- a point on an electrical device (such as a + -- battery) at which electric current enters or leaves + fun Terminal : Class ; -- meronym ElectricalComponent + + -- A PowerSource of three phase + -- alternating current. + fun ThreePhasePowerSource : Class ; + fun ThreePhasePowerSource_Class : SubClass ThreePhasePowerSource PowerSource ; + + -- A Rectifier of single phase AC + -- voltage. + fun ThreePhaseRectifier : Class ; + fun ThreePhaseRectifier_Class : SubClass ThreePhaseRectifier Rectifier ; + + -- A PureTwopole that accumulates through variable. + fun ThroughVariableAccumulator : Class ; + fun ThroughVariableAccumulator_Class : SubClass ThroughVariableAccumulator PureTwopole ; + + -- A Source that models a generator of through variable. + fun ThroughVariableSource : Class ; + fun ThroughVariableSource_Class : SubClass ThroughVariableSource Source ; + + -- a SemiconductorComponent that consists of three + -- p_n junctions, it is used e.g. in controlled rectifiers. + fun Thyristor : Class ; + fun Thyristor_Class : SubClass Thyristor SemiconductorComponent ; + + -- PhysicalDimension of torque, [N/m]. + fun Torque : Ind PhysicalDimension ; + + -- A Transducer for which the ratio of + -- across variables and through variables respectively is equal. + fun Transformer : Class ; + fun Transformer_Class : SubClass Transformer Transducer ; + + -- An ElectricalDevice by which alternating + -- current of one voltage is changed to another voltage. + fun TransformerDevice : Class ; + fun TransformerDevice_Class : SubClass TransformerDevice ElectricDevice ; + + -- A semiconductor device capable of amplification + -- or switching. + fun Transistor : Class ; + fun Transistor_Class : SubClass Transistor SemiconductorComponent ; + + -- Mechanic translatory energetic interaction + fun Translatory : Ind PhysicalDomain ; + + -- A PureTwopole from translatory energy domain. + fun TranslatoryTwopole : Class ; + fun TranslatoryTwopole_Class : SubClass TranslatoryTwopole PureTwopole ; + + fun Truck_Car : SubClass Truck Car ; + + -- tutorial + fun TutorialCategory : Ind DocumentCategory ; + + -- A Multipole with exactly two poles. Twopole Twopole has exactly one port. + fun Twopole : Class ; + fun Twopole_Class : SubClass Twopole Multipole ; + + -- A Multipole with exactly two sections. + fun Twoport : Class ; + fun Twoport_Class : SubClass Twoport Fourpole ; + + -- The process of removing of an installed + -- application from a computer. + fun UnInstallation : Class ; + fun UnInstallation_Class : SubClass UnInstallation ITProcess ; + + -- An EngineeringComponent for which + -- the principal physical domain is not specified. + fun UnknownDomainDevice : Class ; + fun UnknownDomainDevice_Class : SubClass UnknownDomainDevice EngineeringComponent ; + + -- A hydraulic valve. + fun Valve : Class ; + fun Valve_Class : SubClass Valve (both FluidPowerDevice MechanicalDevice) ; + + -- Bessel's equation + fun VanderpolsEquation : Class ; + fun VanderpolsEquation_Class : SubClass VanderpolsEquation (both NonlinearEquation OrdinaryDifferentialEquation) ; + + -- PhysicalDimension of velocity, [m/s]. + fun Velocity : Ind PhysicalDimension ; + + -- PhysicalDimension of voltage, [V]. + fun Voltage : Ind PhysicalDimension ; + + -- valve that controls the flow rate of + -- a fluid + fun VolumeControlValve : Class ; + fun VolumeControlValve_Class : SubClass VolumeControlValve Valve ; + + -- PhysicalDimension of volume flow, [m^_3]. + fun VolumeFlow : Ind PhysicalDimension ; + + -- knowledge base document _ a document in natural language + -- representing one piece of knowledge in the knowledge base + fun WebDocument : Class ; + fun WebDocument_Class : SubClass WebDocument ContentBearingObject ; + + -- knowledge base document attribute + fun WebDocumentAttribute : Class ; + fun WebDocumentAttribute_Class : SubClass WebDocumentAttribute InternalAttribute ; + + fun ZenerDiode : Class ; + fun ZenerDiode_Class : SubClass ZenerDiode Diode ; + + -- A meronymy relation similar to part, but + -- for abstract rather than physical things. + fun abstractPart : El Abstract -> El Abstract -> Formula; + + -- multipole pole has across variable + fun hasAcrossVariable : El MultipolePole -> El MultipoleVariable -> Formula ; + + -- multipole quantity has certain dimension + fun hasDimension : El MultipoleQuantity -> El PhysicalDimension -> Formula ; + + -- multipole pole has through variable + fun hasThroughVariable : El MultipolePole -> El MultipoleVariable -> Formula ; + + -- multipole quantity has certain variable + fun hasVariable : El MultipoleQuantity -> El MultipoleVariable -> Formula ; + + -- associates a SUMO concept with a lexicon word + fun lexicon : El SetOrClass -> El LexiconCategory -> El SymbolicString -> Formula ; + + -- A relation similar to WordNet meronymy relation. + -- If class A is a meronym of class B, it means that instances of A + -- typically are parts of instances of B. + fun meronym : Desc Object -> Desc Object -> Formula ; + + -- A relation signaling that certain model is + -- convenient for modeling of certain class of devices. + fun models : El Model -> El EngineeringComponent -> Formula ; + + -- Relation that holds for pairs of physical + -- dimensions that multiply up into a physical dimension of Power. + -- The first is considered for across variable, the second for through variable. + fun physicalDomain : El PhysicalDimension -> El PhysicalDimension -> El PhysicalDomain -> Formula ; + +} -- cgit v1.2.3