From 455d9558417a759fae3ccbe5cde5c9f5064a08d2 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 6 Jun 2010 11:06:44 +0000 Subject: changes in SUMO: formatting and fixes for lots of lots of small problems --- examples/SUMO/engineering.gf | 1082 ------------------------------------------ 1 file changed, 1082 deletions(-) delete mode 100644 examples/SUMO/engineering.gf (limited to 'examples/SUMO/engineering.gf') 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 ; -} -- cgit v1.2.3