The Ontolingua theory where DME puts model fragments and domain theories. Its contents depends on which DME models have been loaded.
Frame-Ontology Interval-Theory
No theories include Dme-Kb.
Action-Rule-Instance
Behavior-Constraint
Boolean-Value
Component-Slot
Dme-Kernel-Class
Equation
Model-Fragment
Behavior-Model
Discontinuous-Behavior-Model
Alarm-Model
Discontinuous-Non-Quantitative-Behavior-Model
Discontinuous-Quantitative-Behavior-Model
Operating-Mode-Model
Operator-Action-Model
Continuous-Behavior-Model
Structural-Element-Model
Flow-Point
System-Model
Discontinuous-Behavior-Model ...
Structural-Element-Model ...
Thing
Other-Slot
Participant-Slot
Procedure
Procedure-Step
Action-Step
Test-Step
Wait-Step
Q-Operator
Q-Constraint-Operator
Q-Expression-Operator
Q-Mapping-Operator
Qualitative-Parameter
Quantity
Charge
Intensity
Resistance
Temperature
Time
Voltage
Quantity-Slot
Time-Dependent-Slot
Time-Spec
Time-Interval
Time-Point
Action-Rule Active Continuous-At-Model-Change-P Instantiated
Abbreviation Action-Rule-Descriptor Actions Activation-Condition Activation-Condition-Descriptor All-Superclasses Articulation-Axiom-Descriptors At Behavior-Constraint-Descriptors Behavior-Rules Caching-Rules Component-Class-Of-Opmode Component-Is-* Component-Slots Connection-Topology Constraint-Expression Cpd Cpd-Arc Cpd-Node Create-Class-Arguments Derivative-Of Device-Function Dimension Display-Position-Data English Equation-Expression Graphical-Representation Instantiation-Condition Instantiation-Justification Integral-Of It-Is-* Large-Display-Position-Data Meter-Specs Model-Class-To-Operate-On Notes Operating-Mode-Class Operating-Mode-Class-Of Operating-Modes Other-Axioms Other-Slots Owning-Model-Spec Partial-Eval-Function Participant-Slots Points-Of-Discontinuity Possible-Values Previous-Interval Qualitative-Parameters Quantity-Range Quantity-Slots Root-Node Slot-To-Operate-On Symbol-Name-Of-Landmark-Value-Mapping Terminal-Descriptors The-*-The-Object Translate-To-Qsim-Function Unit Unit-Of-Measure User-Accessible User-Specified-New-Value Value
* + - / = Abs All= Constant D/Dt Decrease-At-Rate Decrease-By-Amt Decreasing Deriv Exp Expt Foreach Increase-At-Rate Increase-By-Amt Increasing M+ M- M0+ M0- Nintegral Non-Constant Non-Decreasing Non-Increasing Round Setof Setofinstances Sqrt Sum Sum Sum-To
Action-Rule-Instance Action-Step Alarm-Model Behavior-Constraint Behavior-Model Boolean-Value Charge Component-Slot Continuous-Behavior-Model Discontinuous-Behavior-Model Discontinuous-Non-Quantitative-Behavior-Model Discontinuous-Quantitative-Behavior-Model Dme-Kernel-Class Equation Flow-Point Intensity Model-Fragment Operating-Mode-Model Operator-Action-Model Other-Slot Participant-Slot Procedure Procedure-Step Q-Constraint-Operator Q-Expression-Operator Q-Mapping-Operator Q-Operator Qualitative-Parameter Quantity Quantity-Slot Resistance Structural-Element-Model System-Model Temperature Test-Step Thing Time Time-Dependent-Slot Time-Interval Time-Point Time-Spec Voltage Wait-Step
The following constants were undefined:
True, False, Quantity
The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic: