Index of Terms in the Ontology Library

This document lists all terms that appear in the Ontology Library and where applicable, the theories in which that term is defined. Terms can be any of the following: functions, relations, classes, instances or theories. Some terms may be defined in multiple theories, in which case the term is listed once for each definition.

• Last modified: Tuesday, 6 December 1994
• Table of Contents for Library of Ontologies

*Dead-State* is defined as a Class in Thermal-System

+ is defined as a Function in Kif-Numbers
+ is defined as a Object in Dme-Kb
+ is defined as a Function in Unary-Scalar-Functions
+ is defined as a Function in Tensor-Quantities
+ is defined as a Function in Basic-Matrix-Algebra
+ is defined as a Function in Physical-Quantities
+ is defined as a Function in Scalar-Quantities

+/-Width is defined as a Object in Device-Theory

- is defined as a Function in Kif-Numbers
- is defined as a Object in Dme-Kb
- is defined as a Function in Tensor-Quantities
- is defined as a Function in Basic-Matrix-Algebra
- is defined as a Function in Physical-Quantities

/ is defined as a Function in Kif-Numbers
/ is defined as a Object in Dme-Kb
/ is defined as a Function in Physical-Quantities

/= is defined as a Relation in Kif-Sets

1+ is defined as a Function in Kif-Numbers

1- is defined as a Function in Kif-Numbers

1-1-Control-Volume is defined as a Class in Thermal-System

1-1-Control-Volume-Op-Mode is defined as a Class in Thermal-System

1-1-Cv-Involved is defined as a Function in Thermal-System

1-1-Port-Thermal-Component is defined as a Class in Thermal-System

1-2-Control-Volume is defined as a Class in Thermal-System

1-2-Port-Thermal-Component is defined as a Class in Thermal-System

1-Input-Control-Volume is defined as a Class in Thermal-System

1-Input-Thermal-Component is defined as a Class in Thermal-System

1-Output-Control-Volume is defined as a Class in Thermal-System

1-Output-Thermal-Component is defined as a Class in Thermal-System

14-Pin-Dip is defined as a Class in National-Semiconductor-Product-Theory

2-1-Control-Volume is defined as a Class in Thermal-System

2-1-Open-Feedwater-Heater is defined as a Class in Thermal-System

2-1-Open-Feedwater-Heater-System is defined as a Class in Thermal-System

2-1-Port-Thermal-Component is defined as a Class in Thermal-System

2-2-Closed-Feedwater-Heater is defined as a Class in Thermal-System

2-2-Closed-Feedwater-Heater-System is defined as a Class in Thermal-System

2-2-Control-Volume is defined as a Class in Thermal-System

2-2-Open-Feedwater-Heater is defined as a Class in Thermal-System

2-2-Port-Thermal-Component is defined as a Class in Thermal-System

2-Input-Control-Volume is defined as a Class in Thermal-System

2-Input-Thermal-Component is defined as a Class in Thermal-System

2-Output-Control-Volume is defined as a Class in Thermal-System

2-Output-Thermal-Component is defined as a Class in Thermal-System

2-Port-Heat-Exchanger is defined as a Class in Thermal-System

2d-Stream is defined as a Class in Thermal-System

2d-Stream-Enthalpy-Rate is defined as a Class in Thermal-System

2d-Stream-Involved is defined as a Function in Thermal-System

2d-Stream-Kinetic-Energy is defined as a Class in Thermal-System

2d-Stream-Mass-Flow-Rate is defined as a Class in Thermal-System

2d-Stream-Operating-Mode is defined as a Class in Thermal-System

2d-Stream-Potential-Energy is defined as a Class in Thermal-System

3-1-Control-Volume is defined as a Class in Thermal-System

3-1-Open-Feedwater-Heater is defined as a Class in Thermal-System

3-1-Open-Feedwater-Heater-System is defined as a Class in Thermal-System

3-1-Port-Thermal-Component is defined as a Class in Thermal-System

3-Input-Control-Volume is defined as a Class in Thermal-System

3-Input-Thermal-Component is defined as a Class in Thermal-System

3d-Direction-Cosine is defined as a Class in Simple-Geometry

3d-Dyad is defined as a Class in 3d-Tensor-Quantities

3d-Frame is defined as a Class in Simple-Geometry

3d-Length-Space is defined as a Object in Simple-Geometry

3d-Point is defined as a Class in Simple-Geometry

3d-Vector-Quantity is defined as a Class in 3d-Tensor-Quantities

4-Port-Heat-Exchanger is defined as a Class in Thermal-System

5-Pin-To-220 is defined as a Class in National-Semiconductor-Product-Theory

8-Pin-Dip is defined as a Class in National-Semiconductor-Product-Theory

< is defined as a Relation in Kif-Numbers
< is defined as a Relation in Unary-Scalar-Functions
< is defined as a Relation in Physical-Quantities

= is defined as a Relation in Kif-Sets
= is defined as a Object in Dme-Kb

=< is defined as a Relation in Kif-Numbers

== is defined as a Function in Cml

> is defined as a Relation in Kif-Numbers

>= is defined as a Relation in Kif-Numbers

Abbreviation is defined as a Function in Dme-Kb

Abelian-Group is defined as a Relation in Abstract-Algebra

Abelian-Semigroup is defined as a Relation in Abstract-Algebra

Abs is defined as a Function in Kif-Numbers
Abs is defined as a Object in Dme-Kb

Ac-Coupled-Bandwidth is defined as a Relation in Device-Theory

Ac-Coupling is defined as a Object in Device-Theory

Acceleration-Dimension is defined as a Object in Thermal-System

Acceleration-Due-To-Gravity is defined as a Function in Thermal-System

Accuracy is defined as a Relation in Device-Theory

Acos is defined as a Function in Kif-Numbers

Acosh is defined as a Function in Kif-Numbers

Action-Rule is defined as a Relation in Dme-Kb

Action-Rule-Descriptor is defined as a Function in Dme-Kb

Action-Rule-Instance is defined as a Class in Dme-Kb

Action-Step is defined as a Class in Dme-Kb

Actions is defined as a Function in Dme-Kb

Activation-Condition is defined as a Function in Dme-Kb

Activation-Condition-Descriptor is defined as a Function in Dme-Kb

Active is defined as a Relation in Cml

Active is defined as a Relation in Dme-Kb

Actuator-Base is defined as a Object in Mace-Domain

Adbtc-Cmpsn-Prcs is defined as a Function in Thermal-System

Adbtc-Hxg-Prcs is defined as a Function in Thermal-System

Adbtc-Mxng-Prcs is defined as a Function in Thermal-System

Adiabatic-Pr-Involved is defined as a Function in Thermal-System

Adjoin is defined as a Function in Kif-Lists

After is defined as a Relation in Jat-Generic

After= is defined as a Relation in Jat-Generic

Agent is defined as a Class in Bibliographic-Data

Agent-Name is defined as a Class in Bibliographic-Data

Agent.Name is defined as a Function in Bibliographic-Data

Agreeing-Agents is defined as a Relation in Product-Theory

Agreement is defined as a Class in Product-Theory

Air is defined as a Class in Thermal-System

Air-Fuel-Ratio is defined as a Function in Thermal-System

Air-In-Cmpsr is defined as a Function in Thermal-System

Air-Involved is defined as a Function in Thermal-System

Air-Operating-Mode is defined as a Class in Thermal-System

Alarm-Model is defined as a Class in Dme-Kb

Alias is defined as a Relation in Frame-Ontology

All-Inherited-Slot-Values is defined as a Function in Frame-Ontology

All-Instances is defined as a Function in Frame-Ontology

All-Superclasses is defined as a Function in Dme-Kb

All-Values is defined as a Function in Frame-Ontology

All= is defined as a Relation in Dme-Cml

All= is defined as a Object in Dme-Kb

Alpha is defined as a Function in Mace-Domain

Amount-Dimension is defined as a Object in Thermal-System

Amount-Of-Substance-Dimension is defined as a Object in Standard-Dimensions

Ampere is defined as a Object in Standard-Units
Ampere is defined as a Object in Thermal-System

Amplifier is defined as a Class in National-Semiconductor-Product-Theory

Analog-Circuit is defined as a Class in National-Semiconductor-Product-Theory

Analytic-Truth is defined as a Class in Kif-Meta

Angstrom is defined as a Object in Standard-Units

Angular-Degree is defined as a Object in Standard-Units

Antisymmetric is defined as a Relation in Abstract-Algebra

Antisymmetric-Relation is defined as a Class in Frame-Ontology

Append is defined as a Function in Kif-Lists

Applied-Force is defined as a Function in Mechanical-Components

Applied-Torque is defined as a Function in Mechanical-Components

Apply is defined as a Function in Kif-Relations

April is defined as a Object in Bibliographic-Data
April is defined as a Object in Jat-Generic

Area is defined as a Function in Thermal-System

Area-Dimension is defined as a Object in Standard-Dimensions
Area-Dimension is defined as a Object in Thermal-System

Arity is defined as a Function in Frame-Ontology

Article-Reference is defined as a Class in Bibliographic-Data

Articulation-Axiom-Descriptors is defined as a Function in Dme-Kb

Artwork is defined as a Class in Bibliographic-Data

Artwork-Reference is defined as a Class in Bibliographic-Data

Ash is defined as a Function in Kif-Numbers

Asin is defined as a Function in Kif-Numbers

Asinh is defined as a Function in Kif-Numbers

Assigned-Resource is defined as a Function in Job-Assignment-Task

Assigned-Time-Range is defined as a Function in Job-Assignment-Task

Assignment is defined as a Function in Job-Assignment-Task

Assignment-Object is defined as a Class in Job-Assignment-Task

Associated-Documents is defined as a Relation in Product-Theory

Associative is defined as a Relation in Abstract-Algebra

Asymmetric is defined as a Relation in Abstract-Algebra

Asymmetric-Relation is defined as a Class in Frame-Ontology

At is defined as a Function in Dme-Kb

Atan is defined as a Function in Kif-Numbers

Atanh is defined as a Function in Kif-Numbers

Atomic-Term is defined as a Class in Parametric-Constraints

Attribute-Function is defined as a Class in Cml

Attribute-Function-Total-On is defined as a Relation in Cml

Audio-Amplifier is defined as a Class in National-Semiconductor-Product-Theory

August is defined as a Object in Bibliographic-Data
August is defined as a Object in Jat-Generic

Author is defined as a Class in Bibliographic-Data

Author-Name is defined as a Class in Bibliographic-Data

Author.Name is defined as a Relation in Bibliographic-Data

Automatic-Measurements is defined as a Relation in Device-Theory

Available-Packages is defined as a Relation in National-Semiconductor-Product-Theory

Axiom-Of-Choice is defined as a Onto-Axiom in Kif-Sets

Axiom-Of-Infinity is defined as a Onto-Axiom in Kif-Sets

Axiom-Of-Regularity is defined as a Onto-Axiom in Kif-Sets

Back-Work-Ratio is defined as a Function in Thermal-System

Base-Units is defined as a Function in Physical-Quantities

Basis.Dimension is defined as a Function in Tensor-Quantities

Basis.Vec is defined as a Function in Tensor-Quantities

Before is defined as a Relation in Jat-Generic

Before= is defined as a Relation in Jat-Generic

Behavior-Constraint is defined as a Class in Dme-Kb

Behavior-Constraint-Descriptors is defined as a Function in Dme-Kb

Behavior-Model is defined as a Class in Dme-Kb

Behavior-Rules is defined as a Function in Dme-Kb

Biblio-Name is defined as a Class in Bibliographic-Data

Biblio-Nl-Text is defined as a Class in Bibliographic-Data

Biblio-Text is defined as a Class in Bibliographic-Data

Biblio-Thing is defined as a Class in Bibliographic-Data

Binary-Function is defined as a Class in Kif-Relations

Binary-Operator-On is defined as a Relation in Abstract-Algebra

Binary-Relation is defined as a Class in Kif-Relations

Blr is defined as a Function in Thermal-System

Blr-Cv is defined as a Function in Thermal-System

Blr-System is defined as a Function in Thermal-System

Blr-Tbn-Junction is defined as a Function in Thermal-System

Boiler is defined as a Class in Thermal-System

Boiler-System is defined as a Class in Thermal-System

Book is defined as a Class in Bibliographic-Data

Book-Publication-Data-Constraint is defined as a Class in Bibliographic-Data

Book-Reference is defined as a Class in Bibliographic-Data

Book-Section-Reference is defined as a Class in Bibliographic-Data

Boole is defined as a Function in Kif-Numbers

Boolean-Value is defined as a Class in Dme-Kb

Bore is defined as a Function in Thermal-System

Bore-Area is defined as a Function in Thermal-System

Bottom is defined as a Object in Kif-Relations

Bounded is defined as a Class in Kif-Sets

Bridgeable? is defined as a Class in National-Semiconductor-Product-Theory

Btu is defined as a Object in Standard-Units

Bus-Assy is defined as a Object in Mace-Domain

Buslength is defined as a Function in Mace-Domain

Butlast is defined as a Function in Kif-Lists

Buyer is defined as a Relation in Product-Theory

C+ is defined as a Relation in Cml

C- is defined as a Relation in Cml

C-10 is defined as a Object in Vt-Domain

C-11 is defined as a Object in Vt-Domain

C-13 is defined as a Object in Vt-Domain

C-14 is defined as a Object in Vt-Domain

C-15 is defined as a Object in Vt-Domain

C-16 is defined as a Object in Vt-Domain

C-17 is defined as a Object in Vt-Domain

C-18 is defined as a Object in Vt-Domain

C-19 is defined as a Object in Vt-Domain

C-2 is defined as a Object in Vt-Domain

C-20 is defined as a Object in Vt-Domain

C-21 is defined as a Object in Vt-Domain

C-22 is defined as a Object in Vt-Domain

C-23 is defined as a Object in Vt-Domain

C-24_1 is defined as a Object in Vt-Domain

C-24_2 is defined as a Object in Vt-Domain

C-25 is defined as a Object in Vt-Domain

C-26 is defined as a Object in Vt-Domain

C-27 is defined as a Object in Vt-Domain

C-28_1 is defined as a Object in Vt-Domain

C-28_2 is defined as a Object in Vt-Domain

C-28_3 is defined as a Object in Vt-Domain

C-29_1 is defined as a Object in Vt-Domain

C-29_2 is defined as a Object in Vt-Domain

C-30_1 is defined as a Object in Vt-Domain

C-30_2 is defined as a Object in Vt-Domain

C-31 is defined as a Object in Vt-Domain

C-32 is defined as a Object in Vt-Domain

C-33_1 is defined as a Object in Vt-Domain

C-33_2 is defined as a Object in Vt-Domain

C-34_1 is defined as a Object in Vt-Domain

C-34_2 is defined as a Object in Vt-Domain

C-34_3 is defined as a Object in Vt-Domain

C-34_4 is defined as a Object in Vt-Domain

C-35 is defined as a Object in Vt-Domain

C-36_1 is defined as a Object in Vt-Domain

C-36_2 is defined as a Object in Vt-Domain

C-36_3 is defined as a Object in Vt-Domain

C-37 is defined as a Object in Vt-Domain

C-38 is defined as a Object in Vt-Domain

C-41 is defined as a Object in Vt-Domain

C-44 is defined as a Object in Vt-Domain

C-45 is defined as a Object in Vt-Domain

C-46_1 is defined as a Object in Vt-Domain

C-46_2 is defined as a Object in Vt-Domain

C-46_3 is defined as a Object in Vt-Domain

C-46_4 is defined as a Object in Vt-Domain

C-47 is defined as a Object in Vt-Domain

C-48_1 is defined as a Object in Vt-Domain

C-48_2 is defined as a Object in Vt-Domain

C-49 is defined as a Object in Vt-Domain

C-4_1 is defined as a Object in Vt-Domain

C-4_2 is defined as a Object in Vt-Domain

C-50 is defined as a Object in Vt-Domain

C-5_1 is defined as a Object in Vt-Domain

C-5_2 is defined as a Object in Vt-Domain

C-5_3 is defined as a Object in Vt-Domain

C-6 is defined as a Object in Vt-Domain

C-8 is defined as a Object in Vt-Domain

C-9 is defined as a Object in Vt-Domain

Cable_Load_Car_Side_Car_Bottom is defined as a Function in Vt-Domain

Cable_Load_Car_Side_Car_Top is defined as a Function in Vt-Domain

Cable_Load_Counterweight_Side_Car_Bottom is defined as a Function in Vt-Domain

Cable_Load_Counterweight_Side_Car_Top is defined as a Function in Vt-Domain

Cable_Load_Total_Car_Side_Car_Bottom is defined as a Object in Vt-Domain

Cable_Load_Total_Car_Side_Car_Top is defined as a Object in Vt-Domain

Cable_Load_Total_Car_Side_Maximum is defined as a Function in Vt-Domain

Cable_Load_Total_Car_Side_Maximum_C01 is defined as a Object in Vt-Domain

Cable_Load_Total_Car_Side_Maximum_C02 is defined as a Object in Vt-Domain

Cable_Load_Total_Counterweight_Side_Car_C1 is defined as a Object in Vt-Domain

Cable_Load_Total_Counterweight_Side_Car_C2 is defined as a Object in Vt-Domain

Cable_Load_Unbalanced is defined as a Function in Vt-Domain

Cable_Load_Unbalanced_C is defined as a Object in Vt-Domain

Caching-Rules is defined as a Function in Dme-Kb

Calendar-Date is defined as a Class in Bibliographic-Data

Calendar-Year is defined as a Class in Bibliographic-Data

Can-Be-One-Of is defined as a Relation in Slot-Constraint-Sugar

Can-Have-One is defined as a Relation in Slot-Constraint-Sugar

Candela is defined as a Object in Standard-Units
Candela is defined as a Object in Thermal-System

Cannot-Have is defined as a Relation in Slot-Constraint-Sugar

Capacity is defined as a Function in Thermal-System

Car is defined as a Class in Vt-Domain

Car1 is defined as a Class in Vt-Domain

Carbufferblockh_Of_Elevator_Values is defined as a Object in Vt-Domain

Carbuffer_Cst7 is defined as a Object in Vt-Domain

Cardinality is defined as a Function in Kif-Extensions

Carslingub is defined as a Function in Vt-Domain

Cartographic-Map is defined as a Class in Bibliographic-Data

Cartographic-Map-Reference is defined as a Class in Bibliographic-Data

Car_Buffer_Blocking_Height is defined as a Function in Vt-Domain

Car_Buffer_Blocking_Height_C is defined as a Object in Vt-Domain

Car_Buffer_Compressed_Clearance is defined as a Function in Vt-Domain

Car_Buffer_Footing_Channel_Height is defined as a Function in Vt-Domain

Car_Buffer_Height is defined as a Function in Vt-Domain

Car_Buffer_Load is defined as a Function in Vt-Domain

Car_Buffer_Load_Maximum is defined as a Function in Vt-Domain

Car_Buffer_Load_Minimum is defined as a Function in Vt-Domain

Car_Buffer_Model is defined as a Class in Vt-Domain

Car_Buffer_Model_Oh1 is defined as a Class in Vt-Domain

Car_Buffer_Model_Om14 is defined as a Class in Vt-Domain

Car_Buffer_Quantity is defined as a Function in Vt-Domain

Car_Buffer_Striking_Speed_Maximum is defined as a Function in Vt-Domain

Car_Buffer_Striking_Speed_Maximum_C is defined as a Object in Vt-Domain

Car_Buffer_Striking_Speed_Minimum is defined as a Function in Vt-Domain

Car_Buffer_Striking_Speed_Minimum_C is defined as a Object in Vt-Domain

Car_Buffer_Stroke is defined as a Function in Vt-Domain

Car_Buffer_Stroke_C is defined as a Object in Vt-Domain

Car_Cable_Hanger_Weight is defined as a Function in Vt-Domain

Car_Cable_Hitch_Offset_C01 is defined as a Object in Vt-Domain

Car_Cable_Hitch_Offset_C02 is defined as a Object in Vt-Domain

Car_Cable_Hitch_Offset_C03 is defined as a Object in Vt-Domain

Car_Cable_Hitch_To_Counterweight_Cable_Hitch is defined as a Function in Vt-Domain

Car_Cable_Hitch_To_Counterweight_Cable_Hitch_C is defined as a Object in Vt-Domain

Car_Cable_Hitch_To_Platform_Front is defined as a Function in Vt-Domain

Car_Cable_Hitch_To_Platform_Rear is defined as a Function in Vt-Domain

Car_Cable_Hitch_To_Platform_Rear_C is defined as a Object in Vt-Domain

Car_Cab_Height is defined as a Function in Vt-Domain

Car_Cab_Weight is defined as a Function in Vt-Domain

Car_Cab_Weight_C is defined as a Object in Vt-Domain

Car_Capacity is defined as a Function in Vt-Domain

Car_Capacity_C is defined as a Object in Vt-Domain

Car_Capacity_Range is defined as a Function in Vt-Domain

Car_Capacity_Range_C is defined as a Object in Vt-Domain

Car_Cst5 is defined as a Object in Vt-Domain

Car_Duct_And_Wiring_Weight is defined as a Function in Vt-Domain

Car_Fixture_Weight is defined as a Function in Vt-Domain

Car_Fixture_Weight_C is defined as a Object in Vt-Domain

Car_Guiderail_Model is defined as a Class in Vt-Domain

Car_Guiderail_Model_M01 is defined as a Class in Vt-Domain

Car_Guiderail_Model_M02 is defined as a Class in Vt-Domain

Car_Guiderail_Model_M03 is defined as a Class in Vt-Domain

Car_Guiderail_Model_M04 is defined as a Class in Vt-Domain

Car_Guiderail_Model_M05 is defined as a Class in Vt-Domain

Car_Guiderail_Vertical_Force is defined as a Function in Vt-Domain

Car_Guiderail_Vertical_Force_C is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum is defined as a Function in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C02 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C03 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C04 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C05 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C06 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C07 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C08 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C09 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C10 is defined as a Object in Vt-Domain

Car_Guiderail_Vertical_Force_Maximum_C11 is defined as a Object in Vt-Domain

Car_Guiderail_Weight is defined as a Function in Vt-Domain

Car_Guideshoe_Weight is defined as a Function in Vt-Domain

Car_Intercom is defined as a Class in Vt-Domain

Car_Intercom_C01 is defined as a Object in Vt-Domain

Car_Intercom_C02 is defined as a Object in Vt-Domain

Car_Intercom_C03 is defined as a Object in Vt-Domain

Car_Intercom_M01 is defined as a Class in Vt-Domain

Car_Intercom_M02 is defined as a Class in Vt-Domain

Car_Intercom_Spec is defined as a Function in Vt-Domain

Car_Intercom_Weight is defined as a Function in Vt-Domain

Car_Landing_Switch_Weight is defined as a Function in Vt-Domain

Car_Lantern is defined as a Class in Vt-Domain

Car_Lantern_C01 is defined as a Object in Vt-Domain

Car_Lantern_C02 is defined as a Object in Vt-Domain

Car_Lantern_C03 is defined as a Object in Vt-Domain

Car_Lantern_M01 is defined as a Class in Vt-Domain

Car_Lantern_M02 is defined as a Class in Vt-Domain

Car_Lantern_Spec is defined as a Function in Vt-Domain

Car_Lantern_Weight is defined as a Function in Vt-Domain

Car_Limit_Switch_Cam_Weight is defined as a Function in Vt-Domain

Car_Maintenance_Station_Weight is defined as a Function in Vt-Domain

Car_Misc_Weight is defined as a Function in Vt-Domain

Car_Misc_Weight_C is defined as a Object in Vt-Domain

Car_Overtravel is defined as a Function in Vt-Domain

Car_Phone is defined as a Class in Vt-Domain

Car_Phone_C01 is defined as a Object in Vt-Domain

Car_Phone_C02 is defined as a Object in Vt-Domain

Car_Phone_C03 is defined as a Object in Vt-Domain

Car_Phone_M01 is defined as a Class in Vt-Domain

Car_Phone_M02 is defined as a Class in Vt-Domain

Car_Phone_Spec is defined as a Function in Vt-Domain

Car_Phone_Weight is defined as a Function in Vt-Domain

Car_Position_Indicator is defined as a Class in Vt-Domain

Car_Position_Indicator_C01 is defined as a Object in Vt-Domain

Car_Position_Indicator_C02 is defined as a Object in Vt-Domain

Car_Position_Indicator_C03 is defined as a Object in Vt-Domain

Car_Position_Indicator_M01 is defined as a Class in Vt-Domain

Car_Position_Indicator_M02 is defined as a Class in Vt-Domain

Car_Position_Indicator_Spec is defined as a Function in Vt-Domain

Car_Position_Indicator_Weight is defined as a Function in Vt-Domain

Car_Return_Left is defined as a Function in Vt-Domain

Car_Return_Left_C01 is defined as a Object in Vt-Domain

Car_Return_Left_C02 is defined as a Object in Vt-Domain

Car_Return_Left_C03 is defined as a Object in Vt-Domain

Car_Return_Left_C04 is defined as a Object in Vt-Domain

Car_Return_Left_C05 is defined as a Object in Vt-Domain

Car_Return_Left_C06 is defined as a Object in Vt-Domain

Car_Return_Left_C07 is defined as a Object in Vt-Domain

Car_Return_Left_C08 is defined as a Object in Vt-Domain

Car_Return_Left_C09 is defined as a Object in Vt-Domain

Car_Return_Right is defined as a Function in Vt-Domain

Car_Return_Right_C is defined as a Object in Vt-Domain

Car_Runby is defined as a Function in Vt-Domain

Car_Runby_C is defined as a Object in Vt-Domain

Car_Saf_T_Edge_Weight is defined as a Function in Vt-Domain

Car_Speed is defined as a Function in Vt-Domain

Car_Speed_C is defined as a Object in Vt-Domain

Car_Supplement_Weight is defined as a Function in Vt-Domain

Car_Weight is defined as a Function in Vt-Domain

Car_Weight_C is defined as a Object in Vt-Domain

Cdnsr-System is defined as a Function in Thermal-System

Ceiling is defined as a Function in Kif-Numbers

Cf-Cv is defined as a Function in Thermal-System

Channel is defined as a Class in Device-Theory

Charge is defined as a Class in Dme-Kb

Chtr-Cv is defined as a Function in Thermal-System

Chtr-Sgen-Junction is defined as a Function in Thermal-System

Chtr-System is defined as a Function in Thermal-System

Chtr-Trp-Junction is defined as a Function in Thermal-System

Cis is defined as a Function in Kif-Numbers

City-Address is defined as a Class in Bibliographic-Data

Class is defined as a Class in Frame-Ontology

Class-Partition is defined as a Class in Frame-Ontology

Clearance-Volume is defined as a Function in Thermal-System

Cls-Fwt-Htr is defined as a Function in Thermal-System

Cmpsn-Prcs is defined as a Function in Thermal-System

Cmpsr is defined as a Function in Thermal-System

Cmpsr-Cv is defined as a Function in Thermal-System

Cnd is defined as a Function in Thermal-System

Cnd-Cv is defined as a Function in Thermal-System

Cnd-Pmp-Junction is defined as a Function in Thermal-System

Cnd-Pmp1-Junction is defined as a Function in Thermal-System

Cnd-Sys is defined as a Function in Thermal-System

Cnd-System is defined as a Function in Thermal-System

Cnd-Tfr-Prcs is defined as a Function in Thermal-System

Cndsr-Cv is defined as a Function in Thermal-System

Cofactor is defined as a Function in Basic-Matrix-Algebra

Cold-Flow is defined as a Function in Thermal-System

Cold-Flow-Temperature-Out is defined as a Function in Thermal-System

Column is defined as a Function in Basic-Matrix-Algebra

Column-Dimension is defined as a Function in Basic-Matrix-Algebra

Column-Matrix is defined as a Class in Basic-Matrix-Algebra

Commutative is defined as a Relation in Abstract-Algebra

Commutative-Ring is defined as a Relation in Abstract-Algebra

Compatible-Quantities is defined as a Relation in Physical-Quantities

Compensation_Cable_Length is defined as a Function in Vt-Domain

Compensation_Cable_Length_C01 is defined as a Object in Vt-Domain

Compensation_Cable_Length_C02 is defined as a Object in Vt-Domain

Compensation_Cable_Load_Car_Side_Car_Bottom is defined as a Function in Vt-Domain

Compensation_Cable_Load_Car_Side_Car_Top is defined as a Function in Vt-Domain

Compensation_Cable_Load_Car_Top is defined as a Object in Vt-Domain

Compensation_Cable_Load_Counterweight_Side_Car_Bottom is defined as a Function in Vt-Domain

Compensation_Cable_Load_Counterweight_Side_Car_Bottom_C is defined as a Object in Vt-Domain

Compensation_Cable_Load_Counterweight_Side_Car_Top is defined as a Function in Vt-Domain

Compensation_Cable_Load_Counterweight_Side_Car_Top_C is defined as a Object in Vt-Domain

Compensation_Cable_Load_Side_Car_Bottom is defined as a Object in Vt-Domain

Compensation_Cable_Model is defined as a Class in Vt-Domain

Compensation_Cable_Model_C01 is defined as a Object in Vt-Domain

Compensation_Cable_Model_C02 is defined as a Object in Vt-Domain

Compensation_Cable_Model_C03 is defined as a Object in Vt-Domain

Compensation_Cable_Model_C04 is defined as a Object in Vt-Domain

Compensation_Cable_Model_C05 is defined as a Object in Vt-Domain

Compensation_Cable_Model_M01 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M02 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M03 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M04 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M05 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M06 is defined as a Class in Vt-Domain

Compensation_Cable_Model_M07 is defined as a Class in Vt-Domain

Compensation_Cable_Quantity is defined as a Function in Vt-Domain

Compensation_Cable_Quantity_C01 is defined as a Object in Vt-Domain

Compensation_Cable_Quantity_C02 is defined as a Function in Vt-Domain

Compensation_Cable_Unit_Weight is defined as a Function in Vt-Domain

Compensation_Cable_Unit_Weight_Optimal is defined as a Function in Vt-Domain

Compensation_Cable_Unit_Weight_Optimal_C is defined as a Object in Vt-Domain

Complement is defined as a Function in Kif-Sets

Complex-Number is defined as a Class in Kif-Numbers

Component is defined as a Class in Component-Assemblies

Component-Class is defined as a Class in Vt-Design

Component-Class-Of-Opmode is defined as a Function in Dme-Kb

Component-Cv is defined as a Relation in Thermal-System

Component-Inlet is defined as a Function in Thermal-System

Component-Inlet1 is defined as a Function in Thermal-System

Component-Inlet2 is defined as a Function in Thermal-System

Component-Inlet3 is defined as a Function in Thermal-System

Component-Involved is defined as a Function in Thermal-System

Component-Is-* is defined as a Function in Dme-Kb

Component-Outlet is defined as a Function in Thermal-System

Component-Outlet1 is defined as a Function in Thermal-System

Component-Outlet2 is defined as a Function in Thermal-System

Component-Slot is defined as a Class in Dme-Kb

Component-Slots is defined as a Function in Dme-Kb

Component.Cost is defined as a Function in Vt-Design

Compose is defined as a Function in Frame-Ontology

Compose* is defined as a Function in Slot-Constraint-Sugar

Composition is defined as a Function in Kif-Relations

Composition-Of is defined as a Relation in Frame-Ontology

Compression-Isentropic-Efficiency is defined as a Function in Thermal-System

Compression-Ratio is defined as a Function in Thermal-System

Compressor is defined as a Class in Thermal-System

Compressor-System is defined as a Class in Thermal-System

Compute-Air-Thermodynamic-State is defined as a Function in Thermal-System

Compute-Enthalpy-Pressure-Specific-Entropy is defined as a Function in Thermal-System

Compute-Saturated-Vapor-Enthalpy is defined as a Function in Thermal-System

Compute-Saturated-Vapor-Entropy is defined as a Function in Thermal-System

Compute-Saturated-Vapor-Specific-Volume is defined as a Function in Thermal-System

Computer-Program is defined as a Class in Bibliographic-Data

Computer-Program-Reference is defined as a Class in Bibliographic-Data

Condensor-Heat-Out-Rate is defined as a Function in Thermal-System

Condensor-System is defined as a Class in Thermal-System

Condensor-With-Heat-Transfer-System is defined as a Class in Thermal-System

Conf.Address is defined as a Function in Bibliographic-Data

Conf.Date is defined as a Function in Bibliographic-Data

Conf.Name is defined as a Function in Bibliographic-Data

Conf.Organization is defined as a Function in Bibliographic-Data

Conference is defined as a Class in Bibliographic-Data

Conjugate is defined as a Function in Kif-Numbers

Conjunction is defined as a Class in Kif-Meta

Connected-Components is defined as a Relation in Component-Assemblies

Connected-Terminals is defined as a Relation in Dme-Cml

Connected-To-External-Heat-Source-P is defined as a Function in Thermal-System

Connection is defined as a Class in Component-Assemblies

Connection-Topology is defined as a Function in Dme-Kb

Connects-Components is defined as a Relation in Component-Assemblies

Cons is defined as a Function in Kif-Lists

Constant is defined as a Class in Kif-Meta
Constant is defined as a Object in Dme-Kb

Constant-Quantity is defined as a Class in Physical-Quantities

Constraint is defined as a Class in Parametric-Constraints

Constraint-Expression is defined as a Class in Parametric-Constraints

Constraint-Expression is defined as a Function in Dme-Kb

Constraint-On is defined as a Relation in Components-With-Constraints

Constraint.Expression is defined as a Function in Parametric-Constraints

Contained-In is defined as a Relation in Thermal-System

Continuous is defined as a Class in Unary-Scalar-Functions

Continuous-At is defined as a Relation in Cml

Continuous-At-Model-Change-P is defined as a Relation in Dme-Kb

Continuous-Behavior-Model is defined as a Class in Dme-Kb

Continuous-Over is defined as a Relation in Cml

Control-Volume is defined as a Class in Thermal-System

Control-Volume-Inlet-Stream-Ideal-Gas-Law is defined as a Class in Thermal-System

Control-Volume-Inlet-Stream-Thermodynamic-State is defined as a Class in Thermal-System

Control-Volume-Negligible-Ke-Change is defined as a Class in Thermal-System

Control-Volume-Negligible-Pe-Change is defined as a Class in Thermal-System

Control-Volume-Op-Mode is defined as a Class in Thermal-System

Control-Volume-Outlet-Stream-Ideal-Gas-Law is defined as a Class in Thermal-System

Control-Volume-Outlet-Stream-Thermodynamic-State is defined as a Class in Thermal-System

Control_Cable_Load_Average is defined as a Function in Vt-Domain

Control_Cable_Load_Average_C is defined as a Object in Vt-Domain

Control_Cable_Load_Car_Side_Car_Bottom is defined as a Function in Vt-Domain

Control_Cable_Load_Car_Side_Car_Bottom_C is defined as a Object in Vt-Domain

Control_Cable_Load_Car_Side_Car_Top is defined as a Function in Vt-Domain

Control_Cable_Load_Car_Side_Car_Top_C is defined as a Object in Vt-Domain

Control_Cable_Loop_Below_Car_Bottom is defined as a Function in Vt-Domain

Control_Cable_Loop_Below_Car_Bottom_C is defined as a Object in Vt-Domain

Control_Cable_Model is defined as a Class in Vt-Domain

Control_Cable_Model_C01 is defined as a Object in Vt-Domain

Control_Cable_Model_C02 is defined as a Object in Vt-Domain

Control_Cable_Model_C03 is defined as a Object in Vt-Domain

Control_Cable_Model_M01 is defined as a Class in Vt-Domain

Control_Cable_Model_M02 is defined as a Class in Vt-Domain

Control_Cable_Model_M03 is defined as a Class in Vt-Domain

Control_Cable_Unit_Weight is defined as a Function in Vt-Domain

Cooling-Component is defined as a Class in Thermal-System

Cooling-Rate is defined as a Function in Thermal-System

Corporation is defined as a Class in Product-Theory

Cos is defined as a Function in Kif-Numbers

Cosh is defined as a Function in Kif-Numbers

Cost-Quantity is defined as a Class in Vt-Design

Count-Quantity is defined as a Class in Cml

Counterweight_Above_Top_Car_Bottom is defined as a Function in Vt-Domain

Counterweight_Above_Top_Car_Bottom_C is defined as a Object in Vt-Domain

Counterweight_Between_Guiderails_M is defined as a Class in Vt-Domain

Counterweight_Between_Guiderails_M01 is defined as a Class in Vt-Domain

Counterweight_Between_Guiderails_M02 is defined as a Class in Vt-Domain

Counterweight_Between_Guiderails_M03 is defined as a Class in Vt-Domain

Counterweight_Between_Guiderails_Possible_Values is defined as a Object in Vt-Domain

Counterweight_Between_Guiderails_Value is defined as a Function in Vt-Domain

Counterweight_Bottom_Reference is defined as a Function in Vt-Domain

Counterweight_Bottom_Reference_C is defined as a Object in Vt-Domain

Counterweight_Buffer_Blocking_Height is defined as a Function in Vt-Domain

Counterweight_Buffer_Footing_Channel_Height is defined as a Function in Vt-Domain

Counterweight_Buffer_Height is defined as a Function in Vt-Domain

Counterweight_Buffer_Height_On_Elevator is defined as a Function in Vt-Domain

Counterweight_Buffer_Load is defined as a Function in Vt-Domain

Counterweight_Buffer_Load_C is defined as a Object in Vt-Domain

Counterweight_Buffer_Load_Maximum is defined as a Function in Vt-Domain

Counterweight_Buffer_Load_Minimum is defined as a Function in Vt-Domain

Counterweight_Buffer_Model is defined as a Class in Vt-Domain

Counterweight_Buffer_Model_M01 is defined as a Class in Vt-Domain

Counterweight_Buffer_Model_M02 is defined as a Class in Vt-Domain

Counterweight_Buffer_Quantity is defined as a Function in Vt-Domain

Counterweight_Buffer_Stroke is defined as a Function in Vt-Domain

Counterweight_Frame_A is defined as a Function in Vt-Domain

Counterweight_Frame_B is defined as a Function in Vt-Domain

Counterweight_Frame_Height is defined as a Function in Vt-Domain

Counterweight_Frame_Height_S is defined as a Function in Vt-Domain

Counterweight_Frame_Thickness is defined as a Function in Vt-Domain

Counterweight_Frame_Weight is defined as a Function in Vt-Domain

Counterweight_Frame_Weight_Calc is defined as a Object in Vt-Domain

Counterweight_Frame_Weight_S is defined as a Function in Vt-Domain

Counterweight_Guard_Required is defined as a Class in Vt-Domain

Counterweight_Guard_Required_C is defined as a Object in Vt-Domain

Counterweight_Guard_Required_C2 is defined as a Object in Vt-Domain

Counterweight_Guard_Thickness is defined as a Function in Vt-Domain

Counterweight_Guard_Thickness_M01 is defined as a Class in Vt-Domain

Counterweight_Guard_Thickness_M02 is defined as a Class in Vt-Domain

Counterweight_Guiderail_Model is defined as a Class in Vt-Domain

Counterweight_Guiderail_Model_M01 is defined as a Class in Vt-Domain

Counterweight_Guiderail_Model_M02 is defined as a Class in Vt-Domain

Counterweight_Guiderail_Model_M03 is defined as a Class in Vt-Domain

Counterweight_Guiderail_Model_M04 is defined as a Class in Vt-Domain

Counterweight_Guiderail_Unit_Weight is defined as a Function in Vt-Domain

Counterweight_Guiderail_Unit_Weight_C is defined as a Object in Vt-Domain

Counterweight_Overtravel is defined as a Function in Vt-Domain

Counterweight_Overtravel_C is defined as a Object in Vt-Domain

Counterweight_Plate_Depth is defined as a Function in Vt-Domain

Counterweight_Plate_Quantity is defined as a Function in Vt-Domain

Counterweight_Plate_Quantity_C01 is defined as a Object in Vt-Domain

Counterweight_Plate_Quantity_C02 is defined as a Object in Vt-Domain

Counterweight_Plate_Thickness is defined as a Function in Vt-Domain

Counterweight_Plate_Weight is defined as a Function in Vt-Domain

Counterweight_Plate_Weight_C is defined as a Object in Vt-Domain

Counterweight_Runby is defined as a Function in Vt-Domain

Counterweight_Runby_C is defined as a Object in Vt-Domain

Counterweight_Space is defined as a Function in Vt-Domain

Counterweight_Space_C is defined as a Object in Vt-Domain

Counterweight_Stack_Height is defined as a Function in Vt-Domain

Counterweight_Stack_Height_C is defined as a Object in Vt-Domain

Counterweight_Stack_Weight is defined as a Function in Vt-Domain

Counterweight_Stack_Weight_C is defined as a Object in Vt-Domain

Counterweight_Stack_Weight_Desired is defined as a Function in Vt-Domain

Counterweight_Stack_Weight_Desired_C is defined as a Object in Vt-Domain

Counterweight_System_Weight is defined as a Function in Vt-Domain

Counterweight_System_Weight_C is defined as a Object in Vt-Domain

Counterweight_To_Hoistway_Rear is defined as a Function in Vt-Domain

Counterweight_To_Hoistway_Rear_C is defined as a Object in Vt-Domain

Counterweight_To_Platform_Rear is defined as a Function in Vt-Domain

Counterweight_To_Platform_Rear_C is defined as a Object in Vt-Domain

Counterweight_U_Bracket_Protrusion is defined as a Function in Vt-Domain

Counterweight_Weight is defined as a Function in Vt-Domain

Counterweight_Weight_C is defined as a Object in Vt-Domain

Counterweight_Weight_Desired is defined as a Function in Vt-Domain

Counterweight_Weight_Desired_C is defined as a Object in Vt-Domain

Counterweight_Weight_Limit is defined as a Function in Vt-Domain

Counterwtplatformwt is defined as a Function in Vt-Domain

Coupling is defined as a Relation in Device-Theory

Coupling-Type is defined as a Class in Device-Theory

Cp-Junction is defined as a Function in Thermal-System

Cpd is defined as a Function in Dme-Kb

Cpd-Arc is defined as a Function in Dme-Kb

Cpd-Node is defined as a Function in Dme-Kb

Create-Class-Arguments is defined as a Function in Dme-Kb

Critical-Density is defined as a Function in Thermal-System

Critical-Pressure is defined as a Function in Thermal-System

Critical-Temperature is defined as a Function in Thermal-System

Cross is defined as a Function in 3d-Tensor-Quantities

Crosshead_Bending_Moment is defined as a Function in Vt-Domain

Crosshead_Bending_Moment_C is defined as a Object in Vt-Domain

Crosshead_Deflection_Index is defined as a Function in Vt-Domain

Crosshead_Deflection_Index_C is defined as a Object in Vt-Domain

Crosshead_Height is defined as a Function in Vt-Domain

Crosshead_Model is defined as a Class in Vt-Domain

Crosshead_Model_C01 is defined as a Object in Vt-Domain

Crosshead_Model_C02 is defined as a Object in Vt-Domain

Crosshead_Model_C03 is defined as a Object in Vt-Domain

Crosshead_Model_C04 is defined as a Object in Vt-Domain

Crosshead_Model_C05 is defined as a Object in Vt-Domain

Crosshead_Model_M01 is defined as a Class in Vt-Domain

Crosshead_Model_M02 is defined as a Class in Vt-Domain

Crosshead_Model_M03 is defined as a Class in Vt-Domain

Crosshead_Model_M04 is defined as a Class in Vt-Domain

Crosshead_Model_M05 is defined as a Class in Vt-Domain

Currency-Dimension is defined as a Object in Standard-Dimensions

Currency-Quantity is defined as a Class in Product-Theory

Currency-Transferred is defined as a Relation in Product-Theory

Current-Dimension is defined as a Object in Thermal-System

Cv-Component is defined as a Relation in Thermal-System

Cv-Elevation is defined as a Function in Thermal-System

Cv-Energy is defined as a Function in Thermal-System

Cv-Enthalpy is defined as a Function in Thermal-System

Cv-Entropy is defined as a Function in Thermal-System

Cv-Internal-Energy is defined as a Function in Thermal-System

Cv-Involved is defined as a Function in Thermal-System

Cv-Ke is defined as a Function in Thermal-System

Cv-Mass is defined as a Function in Thermal-System

Cv-Pe is defined as a Function in Thermal-System

Cv-Volume is defined as a Function in Thermal-System

Cycle-Heat-Input is defined as a Class in Thermal-System

Cycle-Involved is defined as a Function in Thermal-System

Cycle-Mass-Rate is defined as a Function in Thermal-System

Cycle-Processes is defined as a Relation in Thermal-System

Cycle-Work-Output is defined as a Class in Thermal-System

Cycles-Rate is defined as a Function in Thermal-System

D-Entropy-Rate is defined as a Function in Thermal-System

D-Ke-Rate is defined as a Function in Thermal-System

D-Log-Mean-Temperature is defined as a Function in Thermal-System

D-Pe-Rate is defined as a Function in Thermal-System

D-Pressure-Cold is defined as a Function in Thermal-System

D-Pressure-Hot is defined as a Function in Thermal-System

D/Dt is defined as a Object in Dme-Kb

D/Dt is defined as a Function in Unary-Scalar-Functions

Day is defined as a Object in Jat-Generic

Day-Name is defined as a Class in Jat-Generic

Day-Number is defined as a Class in Bibliographic-Data
Day-Number is defined as a Class in Jat-Generic

Dc-Coupling is defined as a Object in Device-Theory

December is defined as a Object in Bibliographic-Data
December is defined as a Object in Jat-Generic

Decode-Float is defined as a Function in Kif-Numbers

Decrease-At-Rate is defined as a Object in Dme-Kb

Decrease-By-Amt is defined as a Object in Dme-Kb

Decreasing is defined as a Object in Dme-Kb

Defined is defined as a Class in Kif-Extensions

Defining-Axiom is defined as a Relation in Kif-Meta

Deflector_Sheave_Diameter is defined as a Function in Vt-Domain

Deflector_Sheave_Diameter_C is defined as a Object in Vt-Domain

Deflector_Sheave_Diameter_Minimum is defined as a Object in Vt-Domain

Deflector_Sheave_Diameter_S is defined as a Function in Vt-Domain

Deflector_Sheave_Model is defined as a Class in Vt-Domain

Deflector_Sheave_Model_M01 is defined as a Class in Vt-Domain

Deflector_Sheave_Model_M02 is defined as a Class in Vt-Domain

Deflector_Sheave_Protrusion is defined as a Function in Vt-Domain

Deflector_Sheave_Protrusion_C is defined as a Object in Vt-Domain