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: Friday, 7 October 1994
Table of Contents for Library of Ontologies

* is defined as a Function in Kif-Numbers
* 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
*Dead-State* is defined as a Class in Thermal-System
+ is defined as a Function in Kif-Numbers
+ 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
- is defined as a Function in Kif-Numbers
- 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 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
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
< 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 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
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
Acceleration-Dimension is defined as a Object in Thermal-System
Acceleration-Due-To-Gravity is defined as a Function in Thermal-System
Acos is defined as a Function in Kif-Numbers
Acosh is defined as a Function in Kif-Numbers
Active is defined as a Relation in Cml
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
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
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-Values is defined as a Function in Frame-Ontology
All= is defined as a Relation in Dme-Cml
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
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
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
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
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
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
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
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
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
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
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
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
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-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-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.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
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-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-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-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
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
Cp-Junction is defined as a Function in Thermal-System
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