From f7f0112256b738a7c640c37d5bcbfc8a33bdb307 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 11:07:24 +0000 Subject: added examples/SUMO --- examples/SUMO/engineering.gf | 1082 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 1082 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..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 ; +} -- cgit v1.2.3