added examples/SUMO

author: krasimir <krasimir@chalmers.se> 2010-02-17 11:07:24 +0000
committer: krasimir <krasimir@chalmers.se> 2010-02-17 11:07:24 +0000
commit: f7f0112256b738a7c640c37d5bcbfc8a33bdb307 (patch)
tree: e75a57edda742cbda74326331655cdf31e943649 /examples/SUMO/engineering.gf
parent: a4d41ef3e32af4f5e2fb2f5e97ff7024aa4dd068 (diff)
1 files changed, 1082 insertions, 0 deletions
diff --git a/examples/SUMO/engineering.gf b/examples/SUMO/engineering.gf
new file mode 100644
index 000000000..dea6afda6
--- /dev/null
+++ b/examples/SUMO/engineering.gf
@@ -0,0 +1,1082 @@
+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 ;
+}
author	krasimir <krasimir@chalmers.se>	2010-02-17 11:07:24 +0000
committer	krasimir <krasimir@chalmers.se>	2010-02-17 11:07:24 +0000
commit	f7f0112256b738a7c640c37d5bcbfc8a33bdb307 (patch)
tree	e75a57edda742cbda74326331655cdf31e943649 /examples/SUMO/engineering.gf
parent	a4d41ef3e32af4f5e2fb2f5e97ff7024aa4dd068 (diff)