changes in SUMO: formatting and fixes for lots of lots of small problems

1 files changed, 0 insertions, 1082 deletions

diff --git a/examples/SUMO/engineering.gf b/examples/SUMO/engineering.gf
deleted file mode 100644
index dea6afda6..000000000
--- a/examples/SUMO/engineering.gf
+++ /dev/null
@@ -1,1082 +0,0 @@
-abstract engineering = open Merge, Mid_level_ontology in {

-

-

-

-

---  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 ;

-

-fun Battery_DCPowerSource : SubClass Battery 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 ;

-

-fun PowerSource_Device : SubClass PowerSource Device ;

-

--- 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 ;

-

-

-fun Rotor_ElectricDevice : SubClass Rotor ElectricDevice ;

-

-fun Rotor_MechanicalDevice : SubClass Rotor 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 ;

-}