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.
* 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 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
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 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
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
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
Deflector_Sheave_Weight is defined as a Function in Vt-Domain
Defop is defined as a Class in Kif-Meta
Degree-Kelvin is defined as a Object in Standard-Units
Degree-Rankine is defined as a Object in Standard-Units
Delta-1 is defined as a Function in Mace-Domain
Delta-2 is defined as a Function in Mace-Domain
Denominator is defined as a Function in Kif-Numbers
Denotation is defined as a Function in Kif-Meta
Density-Dimension is defined as a Object in Thermal-System
Deriv is defined as a Function in Unary-Scalar-Functions
Determinant is defined as a Function in Basic-Matrix-Algebra
Diagonal-Matrix is defined as a Class in Basic-Matrix-Algebra
Difference is defined as a Function in Kif-Sets
Dimension-Composable-From is defined as a Relation in Physical-Quantities
Dimensionless is defined as a Object in Thermal-System
Dimensionless-Quantity is defined as a Class in Physical-Quantities
Direct-Instance-Of is defined as a Relation in Frame-Ontology
Direct-Subclass-Of is defined as a Relation in Frame-Ontology
Discrete-Time-Range-Class is defined as a Class in Job-Assignment-Task
Disjoint is defined as a Relation in Kif-Sets
Disjoint-Tr is defined as a Relation in Jat-Generic
Disjunction is defined as a Class in Kif-Meta
Displacement is defined as a Function in Thermal-System
Distance is defined as a Function in Simple-Geometry
Distance is defined as a Function in Quantity-Spaces
Distributes is defined as a Relation in Abstract-Algebra
Division-Ring is defined as a Relation in Abstract-Algebra
Doc.Author is defined as a Relation in Bibliographic-Data
Doc.Author-Name is defined as a Relation in Bibliographic-Data
Doc.Author.Name is defined as a Function in Bibliographic-Data
Doc.Conference is defined as a Function in Bibliographic-Data
Doc.Edition is defined as a Function in Bibliographic-Data
Doc.Editor is defined as a Relation in Bibliographic-Data
Doc.Institution is defined as a Function in Bibliographic-Data
Doc.Number-Of-Pages is defined as a Function in Bibliographic-Data
Doc.Publication-Date is defined as a Function in Bibliographic-Data
Doc.Publisher is defined as a Function in Bibliographic-Data
Doc.Series-Editor is defined as a Relation in Bibliographic-Data
Doc.Series-Title is defined as a Function in Bibliographic-Data
Doc.Title is defined as a Function in Bibliographic-Data
Doc.Translator is defined as a Relation in Bibliographic-Data
Doctoral-Thesis is defined as a Class in Bibliographic-Data
Doctoral-Thesis-Reference is defined as a Class in Bibliographic-Data
Document is defined as a Class in Bibliographic-Data
Documentation is defined as a Relation in Frame-Ontology
Domain is defined as a Relation in Frame-Ontology
Domain-Of is defined as a Relation in Frame-Ontology
Door_Model is defined as a Class in Vt-Domain
Door_Model_Code_M01 is defined as a Class in Vt-Domain
Door_Model_Code_M02 is defined as a Class in Vt-Domain
Door_Model_Code_M03 is defined as a Class in Vt-Domain
Door_Model_Code_M04 is defined as a Class in Vt-Domain
Door_Model_Code_M05 is defined as a Class in Vt-Domain
Door_Model_Code_M06 is defined as a Class in Vt-Domain
Door_Opening_Strike_Side is defined as a Function in Vt-Domain
Door_Opening_Strike_Side_C is defined as a Object in Vt-Domain
Door_Opening_Strike_Side_Spec is defined as a Function in Vt-Domain
Door_Opening_Strike_Side_Spec_C is defined as a Object in Vt-Domain
Door_Opening_Type is defined as a Function in Vt-Domain
Door_Opening_Type_C is defined as a Object in Vt-Domain
Door_Opening_Type_C01 is defined as a Object in Vt-Domain
Door_Opening_Type_C02 is defined as a Object in Vt-Domain
Door_Opening_Type_S is defined as a Function in Vt-Domain
Door_Operator_Constant is defined as a Function in Vt-Domain
Door_Operator_Engine_Weight is defined as a Function in Vt-Domain
Door_Operator_Header_Weight is defined as a Function in Vt-Domain
Door_Operator_Header_Weight_C is defined as a Object in Vt-Domain
Door_Operator_Weight is defined as a Function in Vt-Domain
Door_Operator_Weight_C is defined as a Object in Vt-Domain
Door_Space is defined as a Function in Vt-Domain
Door_Space_C01 is defined as a Object in Vt-Domain
Door_Space_C02 is defined as a Object in Vt-Domain
Door_Speed is defined as a Function in Vt-Domain
Door_Speed_C is defined as a Object in Vt-Domain
Door_Speed_C01 is defined as a Object in Vt-Domain
Door_Speed_Code is defined as a Function in Vt-Domain
Door_Speed_Code_C02 is defined as a Object in Vt-Domain
Door_Speed_Code_C03 is defined as a Object in Vt-Domain
Door_Speed_Code_C04 is defined as a Object in Vt-Domain
Dot is defined as a Function in Tensor-Quantities
Double is defined as a Class in Kif-Lists
Dr+ is defined as a Function in Jat-Generic
Dr< is defined as a Relation in Jat-Generic
Dr= is defined as a Relation in Jat-Generic
Dr> is defined as a Relation in Jat-Generic
Duration is defined as a Class in Jat-Generic
Duration.Measure is defined as a Function in Jat-Generic
Duration.Value is defined as a Function in Jat-Generic
During is defined as a Relation in Jat-Generic
During= is defined as a Relation in Jat-Generic
Dyad is defined as a Class in Tensor-Quantities
Dyad-Component is defined as a Function in Tensor-Quantities
Dyad-Of-Dimensions is defined as a Function in Tensor-Quantities
Earth-Bound-Model is defined as a Class in Thermal-System
Edited-Book is defined as a Class in Bibliographic-Data
Edited-Book-Reference is defined as a Class in Bibliographic-Data
Effectiveness is defined as a Function in Thermal-System
Efficiency is defined as a Function in Thermal-System
Electrical-Current-Dimension is defined as a Object in Standard-Dimensions
Elevator is defined as a Class in Vt-Domain
Elevator.Car is defined as a Function in Vt-Domain
Elevator.Carbuffer is defined as a Function in Vt-Domain
Elevator.Carguiderail is defined as a Function in Vt-Domain
Elevator.Compensationcable is defined as a Function in Vt-Domain
Elevator.Controlcable is defined as a Function in Vt-Domain
Elevator.Counterweightbg is defined as a Function in Vt-Domain
Elevator.Counterwtbuffer is defined as a Function in Vt-Domain
Elevator.Counterwtguard is defined as a Function in Vt-Domain
Elevator.Counterwtguiderail is defined as a Function in Vt-Domain
Elevator.Crosshead is defined as a Function in Vt-Domain
Elevator.Deflectorsheave is defined as a Function in Vt-Domain
Elevator.Door is defined as a Function in Vt-Domain
Elevator.Governor is defined as a Function in Vt-Domain
Elevator.Governorcable is defined as a Function in Vt-Domain
Elevator.Hoistcable is defined as a Function in Vt-Domain
Elevator.Intercom is defined as a Function in Vt-Domain
Elevator.Lantern is defined as a Function in Vt-Domain
Elevator.Machine is defined as a Function in Vt-Domain
Elevator.Mbeam is defined as a Function in Vt-Domain
Elevator.Motgenerator is defined as a Function in Vt-Domain
Elevator.Motor is defined as a Function in Vt-Domain
Elevator.Msheavegroove is defined as a Function in Vt-Domain
Elevator.Phone is defined as a Function in Vt-Domain
Elevator.Platform is defined as a Function in Vt-Domain
Elevator.Positionind is defined as a Function in Vt-Domain
Elevator.Safety is defined as a Function in Vt-Domain
Elevator.Sling is defined as a Function in Vt-Domain
Emissions-Index is defined as a Function in Thermal-System
Empty is defined as a Class in Kif-Sets
Energy-Dimension is defined as a Object in Standard-Dimensions
Energy-Rate is defined as a Function in Thermal-System
Energy-Rate-Dimension is defined as a Object in Thermal-System
Enthalpy-Rate is defined as a Function in Thermal-System
Enthalpy-Rate-In is defined as a Function in Thermal-System
Enthalpy-Rate-Out is defined as a Function in Thermal-System
Entity is defined as a Class in Cml
Entropy-Dimension is defined as a Object in Thermal-System
Entropy-Generation-Rate is defined as a Function in Thermal-System
Entropy-Rate is defined as a Function in Thermal-System
Entropy-Rate-Dimension is defined as a Object in Thermal-System
Entropy-Rate-In is defined as a Function in Thermal-System
Entropy-Rate-Out is defined as a Function in Thermal-System
Equals is defined as a Relation in Jat-Generic
Equation is defined as a Class in Kif-Meta
Equivalence is defined as a Class in Kif-Meta
Equivalence-Relation is defined as a Class in Frame-Ontology
Even-Integer is defined as a Class in Kif-Numbers
Even-Ke is defined as a Function in Thermal-System
Even-Pe is defined as a Function in Thermal-System
Everywhere-Continuous-Function is defined as a Class in Cml
Everywhere-Continuous-Quantity is defined as a Class in Cml
Exact-Domain is defined as a Function in Frame-Ontology
Exact-Range is defined as a Function in Frame-Ontology
Example-Elevator-To-Design is defined as a Class in Vt-Example
Exhaustive-Subclass-Partition is defined as a Relation in Frame-Ontology
Exp is defined as a Function in Kif-Numbers
Expansion-Isentropic-Efficiency is defined as a Function in Thermal-System
Expression is defined as a Class in Kif-Meta
Expsn-Prcs is defined as a Function in Thermal-System
Expt is defined as a Function in Kif-Numbers
Expt is defined as a Function in Unary-Scalar-Functions
Expt is defined as a Function in Physical-Quantities
Expt is defined as a Function in Scalar-Quantities
Extensionality-Property-Of-Sets is defined as a Onto-Axiom in Kif-Sets
Extraction-Turbine is defined as a Class in Thermal-System
Extraction-Turbine-System is defined as a Class in Thermal-System
Fceiling is defined as a Function in Kif-Numbers
February is defined as a Object in Bibliographic-Data
February is defined as a Object in Jat-Generic
Ffloor is defined as a Function in Kif-Numbers
Field is defined as a Relation in Abstract-Algebra
Final-Time is defined as a Function in Cml
Finishes is defined as a Relation in Jat-Generic
Finishes= is defined as a Relation in Jat-Generic
Finite-Set is defined as a Class in Kif-Extensions
Finite-Set-Axiom is defined as a Onto-Axiom in Kif-Sets
First is defined as a Function in Kif-Lists
Fixed-Length-Job-Class is defined as a Class in Job-Assignment-Task
Fixed-Length-Job.Length is defined as a Function in Job-Assignment-Task
Float is defined as a Function in Kif-Numbers
Float-Digits is defined as a Function in Kif-Numbers
Float-Precision is defined as a Function in Kif-Numbers
Float-Radix is defined as a Function in Kif-Numbers
Float-Sign is defined as a Function in Kif-Numbers
Floor is defined as a Function in Kif-Numbers
Foot is defined as a Object in Standard-Units
Force-Dimension is defined as a Object in Standard-Dimensions
Frequency-Dimension is defined as a Object in Thermal-System
Friday is defined as a Object in Jat-Generic
Fround is defined as a Function in Kif-Numbers
Ftruncate is defined as a Function in Kif-Numbers
Fuel is defined as a Class in Thermal-System
Fuel-Consuming-Component is defined as a Class in Thermal-System
Fuel-Supply-Rate is defined as a Function in Thermal-System
Funconst is defined as a Class in Kif-Meta
Function is defined as a Class in Kif-Relations
Function-Allowed-In-Vt-Constraint is defined as a Class in Vt-Design
Function-Constant is defined as a Class in Parametric-Constraints
Function-Quantity is defined as a Class in Physical-Quantities
Funterm is defined as a Class in Kif-Meta
Fwt-Htr is defined as a Function in Thermal-System
Fwt-Htr-Cv is defined as a Function in Thermal-System
Gcd is defined as a Function in Kif-Numbers
Generalized-Intersection is defined as a Function in Kif-Sets
Generalized-Union is defined as a Function in Kif-Sets
Generic-Unpublished-Reference is defined as a Class in Bibliographic-Data
Gimbal-1 is defined as a Object in Mace-Domain
Gimbal-1-Angle is defined as a Function in Mace-Domain
Gimbal-1-Base is defined as a Object in Mace-Domain
Gimbal-1-Platform is defined as a Object in Mace-Domain
Gimbal-1-Torque is defined as a Function in Mace-Domain
Gimbal-2 is defined as a Object in Mace-Domain
Gimbal-2-Angle is defined as a Function in Mace-Domain
Gimbal-2-Base is defined as a Object in Mace-Domain
Gimbal-2-Platform is defined as a Object in Mace-Domain
Gimbal-2-Torque is defined as a Function in Mace-Domain
Governor_Cable_Diameter is defined as a Function in Vt-Domain
Governor_Cable_Length is defined as a Function in Vt-Domain
Governor_Cable_Length_C is defined as a Object in Vt-Domain
Governor_Cable_Model is defined as a Class in Vt-Domain
Governor_Cable_Model_M01 is defined as a Class in Vt-Domain
Governor_Model is defined as a Class in Vt-Domain
Governor_Model_M01 is defined as a Class in Vt-Domain
Ground is defined as a Object in Mace-Domain
Ground-Sentence is defined as a Class in Parametric-Constraints
Group is defined as a Relation in Abstract-Algebra
Has-At-Least is defined as a Relation in Slot-Constraint-Sugar
Has-At-Most is defined as a Relation in Slot-Constraint-Sugar
Has-Attribute-Function is defined as a Relation in Cml
Has-Constraint is defined as a Relation in Components-With-Constraints
Has-One is defined as a Relation in Slot-Constraint-Sugar
Has-One-Of-Type is defined as a Relation in Slot-Constraint-Sugar
Has-Parameter-Slot is defined as a Relation in Components-With-Constraints
Has-Participant-Function is defined as a Relation in Cml
Has-Quantity-Function is defined as a Relation in Cml
Has-Single-Slot-Value-Of-Type is defined as a Relation in Slot-Constraint-Sugar
Has-Slot-Value is defined as a Relation in Slot-Constraint-Sugar
Has-Slot-Value-Of-Type is defined as a Relation in Slot-Constraint-Sugar
Has-Some is defined as a Relation in Slot-Constraint-Sugar
Has-Subcomponent is defined as a Relation in Component-Assemblies
Has-Subpart-Slot is defined as a Relation in Component-Assemblies
Has-Value is defined as a Relation in Frame-Ontology
Has-Value-Of-Type is defined as a Relation in Slot-Constraint-Sugar
Has-Values is defined as a Relation in Slot-Constraint-Sugar
Have-Same-Slot-Values is defined as a Relation in Slot-Constraint-Sugar
Have-Same-Values is defined as a Relation in Slot-Constraint-Sugar
Heat-Exchanger is defined as a Class in Thermal-System
Heat-Rate is defined as a Function in Thermal-System
Heat-Supply-Rate is defined as a Function in Thermal-System
Heat-Transfer-Rate is defined as a Function in Thermal-System
Heat-Transfer-Temperature is defined as a Function in Thermal-System
Heating-Component is defined as a Class in Thermal-System
Heating-Rate is defined as a Function in Thermal-System
Heating-Value is defined as a Function in Thermal-System
Hf-Cv is defined as a Function in Thermal-System
Hoistcable_Quantity is defined as a Object in Vt-Domain
Hoistway_Bracket_Spacing is defined as a Function in Vt-Domain
Hoistway_Bracket_Spacing_C is defined as a Object in Vt-Domain
Hoistway_Depth is defined as a Function in Vt-Domain
Hoistway_Floor_Height is defined as a Function in Vt-Domain
Hoistway_Overhead is defined as a Function in Vt-Domain
Hoistway_Pit_Depth is defined as a Function in Vt-Domain
Hoistway_Top_Landing_To_Underside_Machine_Beam is defined as a Function in Vt-Domain
Hoistway_Top_Landing_To_Underside_Machine_Beam_C is defined as a Object in Vt-Domain
Hoistway_Travel is defined as a Function in Vt-Domain
Hoistway_Width is defined as a Function in Vt-Domain
Hoist_Cable_Above_Counterweight_Car_Bottom is defined as a Function in Vt-Domain
Hoist_Cable_Above_Counterweight_Car_Bottom_C is defined as a Object in Vt-Domain
Hoist_Cable_Diameter is defined as a Function in Vt-Domain
Hoist_Cable_Length is defined as a Function in Vt-Domain
Hoist_Cable_Length_C is defined as a Object in Vt-Domain
Hoist_Cable_Load_Car_Side_Car_Bottom is defined as a Function in Vt-Domain
Hoist_Cable_Load_Car_Side_Car_Bottom_C is defined as a Object in Vt-Domain
Hoist_Cable_Load_Car_Side_Car_Top is defined as a Function in Vt-Domain
Hoist_Cable_Load_Car_Side_Car_Top_C is defined as a Object in Vt-Domain
Hoist_Cable_Load_Counterweight_Side_Car_Bottom is defined as a Function in Vt-Domain
Hoist_Cable_Load_Counterweight_Side_Car_Bottom_C is defined as a Object in Vt-Domain
Hoist_Cable_Load_Counterweight_Side_Car_Top is defined as a Function in Vt-Domain
Hoist_Cable_Load_Counterweight_Side_Car_Top_C is defined as a Object in Vt-Domain
Hoist_Cable_Model is defined as a Class in Vt-Domain
Hoist_Cable_Model_M01 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M02 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M03 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M04 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M05 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M06 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M07 is defined as a Class in Vt-Domain
Hoist_Cable_Model_M08 is defined as a Class in Vt-Domain
Hoist_Cable_Quantity is defined as a Function in Vt-Domain
Hoist_Cable_Quantity_F is defined as a Function in Vt-Domain
Hoist_Cable_Safety_Factor is defined as a Function in Vt-Domain
Hoist_Cable_Safety_Factor_C01 is defined as a Object in Vt-Domain
Hoist_Cable_Safety_Factor_C02 is defined as a Object in Vt-Domain
Hoist_Cable_Safety_Factor_C03 is defined as a Object in Vt-Domain
Hoist_Cable_Safety_Factor_C04 is defined as a Object in Vt-Domain
Hoist_Cable_Safety_Factor_C05 is defined as a Object in Vt-Domain
Hoist_Cable_Safety_Factor_Minimum is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Factor is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Factor_C is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Ratio_C01 is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_C02 is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_C03 is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_C04 is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Bottom_Empty is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Bottom_Empty_C is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Bottom_Full is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Bottom_Full_C is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Top_Empty is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Top_Empty_C is defined as a Object in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Top_Full is defined as a Function in Vt-Domain
Hoist_Cable_Traction_Ratio_Car_Top_Full_C is defined as a Object in Vt-Domain
Hoist_Cable_Ultimate_Strength is defined as a Function in Vt-Domain
Hoist_Cable_Unit_Weight is defined as a Function in Vt-Domain
Holds is defined as a Relation in Kif-Relations
Hot-Flow is defined as a Function in Thermal-System
Hot-Flow-Temperature-In is defined as a Function in Thermal-System
Hour is defined as a Object in Standard-Units
Hour is defined as a Object in Jat-Generic
Hour-Number is defined as a Class in Jat-Generic
Ht-Xchg-Prcs is defined as a Function in Thermal-System
Htfr-Prcs is defined as a Function in Thermal-System
I-Lower-Bound is defined as a Function in Jat-Generic
I-Upper-Bound is defined as a Function in Jat-Generic
Ideal-Gas-Constant is defined as a Function in Thermal-System
Ideal-Gas-P is defined as a Function in Thermal-System
Ideal-Heat-Rate is defined as a Function in Thermal-System
Ideal-Isentropic-Enthalpy is defined as a Function in Thermal-System
Ideal-Specific-Heat is defined as a Function in Thermal-System
Identity is defined as a Function in Kif-Extensions
Identity-Dimension is defined as a Object in Physical-Quantities
Identity-Element-For is defined as a Relation in Abstract-Algebra
Identity-Matrix is defined as a Class in Basic-Matrix-Algebra
Identity-Scalar is defined as a Object in Scalar-Quantities
Identity-Unit is defined as a Object in Physical-Quantities
Imagpart is defined as a Function in Kif-Numbers
Implication is defined as a Class in Kif-Meta
Inch is defined as a Object in Standard-Units
Individual is defined as a Class in Kif-Sets
Individual-Thing is defined as a Class in Frame-Ontology
Indvar is defined as a Class in Kif-Meta
Inequality is defined as a Class in Kif-Meta
Inertia-Tensor is defined as a Function in Mechanical-Components
Infinite is defined as a Class in Cml
Inherited-Slot-Value is defined as a Relation in Frame-Ontology
Inherits-Author-From-Document is defined as a Class in Bibliographic-Data
Inherits-Publisher-From-Document is defined as a Class in Bibliographic-Data
Inherits-Title-From-Document is defined as a Class in Bibliographic-Data
Inherits-Year-From-Document is defined as a Class in Bibliographic-Data
Initial-Time is defined as a Function in Cml
Inlet-Stream is defined as a Function in Thermal-System
Inlet-Stream1 is defined as a Function in Thermal-System
Inlet-Stream2 is defined as a Function in Thermal-System
Inlet-Stream3 is defined as a Function in Thermal-System
Inlets is defined as a Relation in Thermal-System
Instance-Of is defined as a Relation in Frame-Ontology
Integer is defined as a Class in Kif-Numbers
Integer-Decode-Float is defined as a Function in Kif-Numbers
Integer-Length is defined as a Function in Kif-Numbers
Integer-Range is defined as a Class in Jat-Generic
Integral-Domain is defined as a Relation in Abstract-Algebra
Internal-Combustion-Engine is defined as a Class in Thermal-System
Internal-Energy-Rate is defined as a Function in Thermal-System
Internally-Reversible-Adiabatic-Process is defined as a Class in Thermal-System
Internally-Reversible-P is defined as a Function in Thermal-System
Intersection is defined as a Function in Kif-Sets
Intersection-Axiom is defined as a Onto-Axiom in Kif-Sets
Inverse is defined as a Function in Kif-Relations
Invertible is defined as a Relation in Abstract-Algebra
Invertible-Matrix is defined as a Class in Basic-Matrix-Algebra
Invsin is defined as a Function in Vt-Design
Irreflexive is defined as a Relation in Abstract-Algebra
Irreflexive-Relation is defined as a Class in Frame-Ontology
Irreversibility-Rate is defined as a Function in Thermal-System
Isentropic-Efficiency is defined as a Function in Thermal-System
Isqrt is defined as a Function in Kif-Numbers
Item is defined as a Relation in Kif-Lists
January is defined as a Object in Bibliographic-Data
January is defined as a Object in Jat-Generic
Jat-Time-Range is defined as a Class in Job-Assignment-Task
Job is defined as a Class in Job-Assignment-Task
Job-Unit-Length is defined as a Function in Job-Assignment-Task
Job.Length is defined as a Function in Job-Assignment-Task
Job.Time-Range is defined as a Function in Job-Assignment-Task
Joule is defined as a Object in Standard-Units
Journal is defined as a Class in Bibliographic-Data
Journal-Article-Reference is defined as a Class in Bibliographic-Data
July is defined as a Object in Bibliographic-Data
July is defined as a Object in Jat-Generic
Junction is defined as a Class in Dme-Cml
June is defined as a Object in Bibliographic-Data
June is defined as a Object in Jat-Generic
Ke-Rate is defined as a Function in Thermal-System
Ke-Rate-In is defined as a Function in Thermal-System
Ke-Rate-Out is defined as a Function in Thermal-System
Kelvin is defined as a Object in Thermal-System
Keyword is defined as a Class in Bibliographic-Data
Kg/Mol is defined as a Object in Thermal-System
Kg/M^3 is defined as a Object in Thermal-System
Kilogram is defined as a Object in Standard-Units
Kilogram is defined as a Object in Thermal-System
Kilometer is defined as a Object in Standard-Units
Last is defined as a Function in Kif-Lists
Lcm is defined as a Function in Kif-Numbers
Length is defined as a Function in Kif-Lists
Length-Dimension is defined as a Object in Standard-Dimensions
Linear-Order is defined as a Relation in Abstract-Algebra
Linear-Space is defined as a Relation in Abstract-Algebra
List is defined as a Class in Kif-Lists
List-To-Set is defined as a Function in Kif-Extensions
Listof is defined as a Function in Kif-Lists
Listterm is defined as a Class in Kif-Meta
Log is defined as a Function in Kif-Numbers
Logand is defined as a Function in Kif-Numbers
Logandc1 is defined as a Function in Kif-Numbers
Logandc2 is defined as a Function in Kif-Numbers
Logbit is defined as a Relation in Kif-Numbers
Logconst is defined as a Class in Kif-Meta
Logcount is defined as a Function in Kif-Numbers
Logeqv is defined as a Function in Kif-Numbers
Logical-Operator is defined as a Class in Parametric-Constraints
Logior is defined as a Function in Kif-Numbers
Lognand is defined as a Function in Kif-Numbers
Lognor is defined as a Function in Kif-Numbers
Lognot is defined as a Function in Kif-Numbers
Logorc1 is defined as a Function in Kif-Numbers
Logorc2 is defined as a Function in Kif-Numbers
Logsent is defined as a Class in Kif-Meta
Logterm is defined as a Class in Kif-Meta
Logtest is defined as a Relation in Kif-Numbers
Logxor is defined as a Function in Kif-Numbers
Luminosity-Dimension is defined as a Object in Thermal-System
Luminous-Intensity-Dimension is defined as a Object in Standard-Dimensions
M+ is defined as a Relation in Cml
M- is defined as a Relation in Cml
M/S^2 is defined as a Object in Thermal-System
Machine_Acceleration_Maximum is defined as a Function in Vt-Domain
Machine_Angle_Of_Contact is defined as a Function in Vt-Domain
Machine_Angle_Of_Contact_C is defined as a Object in Vt-Domain
Machine_Beam_Bearing_Plate_Thickness is defined as a Function in Vt-Domain
Machine_Beam_Bending_Moment_Left_Maximum is defined as a Function in Vt-Domain
Machine_Beam_Bending_Moment_Left_Maximum_C01 is defined as a Object in Vt-Domain
Machine_Beam_Bending_Moment_Left_Maximum_C02 is defined as a Object in Vt-Domain
Machine_Beam_Bending_Moment_Right_Maximum is defined as a Function in Vt-Domain
Machine_Beam_Bending_Moment_Right_Maximum_C01 is defined as a Object in Vt-Domain
Machine_Beam_Bending_Moment_Right_Maximum_C02 is defined as a Object in Vt-Domain
Machine_Beam_Center_To_Machine_Sheave_Center is defined as a Function in Vt-Domain
Machine_Beam_Center_To_Machine_Sheave_Center_C is defined as a Object in Vt-Domain
Machine_Beam_Impact_Load_Left is defined as a Function in Vt-Domain
Machine_Beam_Impact_Load_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Impact_Load_Right is defined as a Function in Vt-Domain
Machine_Beam_Impact_Load_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Impact_Load_Total is defined as a Function in Vt-Domain
Machine_Beam_Impact_Load_Total_C is defined as a Object in Vt-Domain
Machine_Beam_Length is defined as a Function in Vt-Domain
Machine_Beam_Length_C is defined as a Object in Vt-Domain
Machine_Beam_Load_Front_Left is defined as a Function in Vt-Domain
Machine_Beam_Load_Front_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Load_Front_Right is defined as a Function in Vt-Domain
Machine_Beam_Load_Front_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Load_Rear_Left is defined as a Function in Vt-Domain
Machine_Beam_Load_Rear_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Load_Rear_Right is defined as a Function in Vt-Domain
Machine_Beam_Load_Rear_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Model is defined as a Class in Vt-Domain
Machine_Beam_Model_M01 is defined as a Class in Vt-Domain
Machine_Beam_Model_M02 is defined as a Class in Vt-Domain
Machine_Beam_Model_M03 is defined as a Class in Vt-Domain
Machine_Beam_Model_M04 is defined as a Class in Vt-Domain
Machine_Beam_Reaction_Front_Left is defined as a Function in Vt-Domain
Machine_Beam_Reaction_Front_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Reaction_Front_Right is defined as a Function in Vt-Domain
Machine_Beam_Reaction_Front_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Reaction_Rear_Left is defined as a Function in Vt-Domain
Machine_Beam_Reaction_Rear_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Reaction_Rear_Right is defined as a Function in Vt-Domain
Machine_Beam_Reaction_Rear_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Safety_Factor is defined as a Function in Vt-Domain
Machine_Beam_Section_Modulus is defined as a Function in Vt-Domain
Machine_Beam_Section_Modulus_Left_Minimum is defined as a Function in Vt-Domain
Machine_Beam_Section_Modulus_Left_Minimum_C is defined as a Object in Vt-Domain
Machine_Beam_Section_Modulus_Right_Minimum is defined as a Function in Vt-Domain
Machine_Beam_Section_Modulus_Right_Minimum_C is defined as a Object in Vt-Domain
Machine_Beam_Support_Bottom_To_Machine_Room_Top is defined as a Function in Vt-Domain
Machine_Beam_Support_Bottom_To_Machine_Room_Top_C is defined as a Object in Vt-Domain
Machine_Beam_Support_Bottom_To_Machine_Room_Top_Spec is defined as a Function in Vt-Domain
Machine_Beam_Support_Distance is defined as a Function in Vt-Domain
Machine_Beam_Support_Front_To_Hoistway is defined as a Function in Vt-Domain
Machine_Beam_Support_To_Machine_Beam_Center is defined as a Function in Vt-Domain
Machine_Beam_Support_To_Machine_Beam_Center_C is defined as a Object in Vt-Domain
Machine_Beam_Support_Type is defined as a Function in Vt-Domain
Machine_Beam_Support_Type_C is defined as a Object in Vt-Domain
Machine_Beam_Support_Underside_To_Machine_Room_Floor is defined as a Object in Vt-Domain
Machine_Beam_Total_Load_Left is defined as a Function in Vt-Domain
Machine_Beam_Total_Load_Left_C is defined as a Object in Vt-Domain
Machine_Beam_Total_Load_Right is defined as a Function in Vt-Domain
Machine_Beam_Total_Load_Right_C is defined as a Object in Vt-Domain
Machine_Beam_Unit_Weight is defined as a Function in Vt-Domain
Machine_Beam_Weight is defined as a Function in Vt-Domain
Machine_Beam_Weight_C is defined as a Object in Vt-Domain
Machine_Efficiency is defined as a Function in Vt-Domain
Machine_Efficiency_C01 is defined as a Object in Vt-Domain
Machine_Efficiency_C02 is defined as a Object in Vt-Domain
Machine_Efficiency_C03 is defined as a Object in Vt-Domain
Machine_Efficiency_C04 is defined as a Object in Vt-Domain
Machine_Efficiency_C05 is defined as a Object in Vt-Domain
Machine_Efficiency_C06 is defined as a Object in Vt-Domain
Machine_Efficiency_C07 is defined as a Object in Vt-Domain
Machine_Efficiency_C08 is defined as a Object in Vt-Domain
Machine_Efficiency_C09 is defined as a Object in Vt-Domain
Machine_Efficiency_C10 is defined as a Object in Vt-Domain
Machine_Efficiency_C11 is defined as a Object in Vt-Domain
Machine_Efficiency_C12 is defined as a Object in Vt-Domain
Machine_Efficiency_C13 is defined as a Object in Vt-Domain
Machine_Efficiency_C14 is defined as a Object in Vt-Domain
Machine_Efficiency_C15 is defined as a Object in Vt-Domain
Machine_Efficiency_C16 is defined as a Object in Vt-Domain
Machine_Efficiency_C17 is defined as a Object in Vt-Domain
Machine_Efficiency_C18 is defined as a Object in Vt-Domain
Machine_Efficiency_C19 is defined as a Object in Vt-Domain
Machine_Efficiency_C20 is defined as a Object in Vt-Domain
Machine_Efficiency_C21 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Numeric is defined as a Function in Vt-Domain
Machine_Gear_Ratio_Symbolic_C01 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C02 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C03 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C04 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C05 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C06 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C07 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C08 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C09 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C10 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C11 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C12 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C13 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C14 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C15 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C16 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C17 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C18 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C19 is defined as a Object in Vt-Domain
Machine_Gear_Ratio_Symbolic_C20 is defined as a Object in Vt-Domain
Machine_Groove_Model is defined as a Class in Vt-Domain
Machine_Groove_Model_M01 is defined as a Class in Vt-Domain
Machine_Groove_Model_M02 is defined as a Class in Vt-Domain
Machine_Groove_Pressure is defined as a Function in Vt-Domain
Machine_Groove_Pressure_Acceptable_Maximum is defined as a Function in Vt-Domain
Machine_Groove_Pressure_Acceptable_Maximum_C is defined as a Object in Vt-Domain
Machine_Groove_Pressure_C is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant is defined as a Function in Vt-Domain
Machine_Groove_Pressure_Constant_C01 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C02 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C03 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C04 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C05 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C06 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C07 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C08 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C09 is defined as a Object in Vt-Domain
Machine_Groove_Pressure_Constant_C10 is defined as a Object in Vt-Domain
Machine_Left_Offset is defined as a Function in Vt-Domain
Machine_Model is defined as a Class in Vt-Domain
Machine_Model_M01 is defined as a Class in Vt-Domain
Machine_Model_M02 is defined as a Class in Vt-Domain
Machine_Model_M03 is defined as a Class in Vt-Domain
Machine_Model_M04 is defined as a Class in Vt-Domain
Machine_Right_Offset is defined as a Function in Vt-Domain
Machine_Sheave_Center_To_Front_Machine_Beam_Support is defined as a Function in Vt-Domain
Machine_Sheave_Center_To_Front_Machine_Beam_Support_C is defined as a Object in Vt-Domain
Machine_Sheave_Diameter is defined as a Function in Vt-Domain
Machine_Sheave_Height is defined as a Function in Vt-Domain
Machine_Sheave_Height_C is defined as a Object in Vt-Domain
Machine_Sheave_Height_F is defined as a Function in Vt-Domain
Machine_Sheave_To_Deflector_Sheave is defined as a Function in Vt-Domain
Machine_Sheave_To_Deflector_Sheave_C is defined as a Object in Vt-Domain
Machine_Sheave_To_Deflector_Sheave_Diagonal is defined as a Function in Vt-Domain
Machine_Sheave_To_Deflector_Sheave_Diagonal_C is defined as a Object in Vt-Domain
Machine_Sheave_To_Deflector_Sheave_Horizontal is defined as a Function in Vt-Domain
Machine_Sheave_To_Deflector_Sheave_Horizontal_C is defined as a Object in Vt-Domain
Machine_Suspended_Load is defined as a Function in Vt-Domain
Machine_Suspended_Load_C is defined as a Object in Vt-Domain
Machine_Suspended_Load_Maximum is defined as a Function in Vt-Domain
Machine_Total_Weight is defined as a Function in Vt-Domain
Machine_Total_Weight_C is defined as a Object in Vt-Domain
Machine_Weight is defined as a Function in Vt-Domain
Magazine is defined as a Class in Bibliographic-Data
Magazine-Article-Reference is defined as a Class in Bibliographic-Data
Magnitude is defined as a Function in Physical-Quantities
Magnitude-In-System-Of-Units is defined as a Function in Physical-Quantities
Many-Many is defined as a Class in Kif-Relations
Many-One is defined as a Class in Kif-Relations
Many-To-Many-Relation is defined as a Class in Frame-Ontology
Many-To-One-Relation is defined as a Class in Frame-Ontology
Map is defined as a Function in Kif-Relations
March is defined as a Object in Bibliographic-Data
March is defined as a Object in Jat-Generic
Mass is defined as a Function in Mechanical-Components
Mass-Dimension is defined as a Object in Standard-Dimensions
Mass-Rate is defined as a Function in Thermal-System
Mass-Rate-Dimension is defined as a Object in Thermal-System
Mass-Rate-In is defined as a Function in Thermal-System
Mass-Rate-Out is defined as a Function in Thermal-System
Masters-Thesis is defined as a Class in Bibliographic-Data
Masters-Thesis-Reference is defined as a Class in Bibliographic-Data
Matrix is defined as a Class in Basic-Matrix-Algebra
Matrix-Inverse is defined as a Function in Basic-Matrix-Algebra
Matrix-Less-Column is defined as a Function in Basic-Matrix-Algebra
Matrix-Less-Row is defined as a Function in Basic-Matrix-Algebra
Matrix-Less-Row-And-Column is defined as a Function in Basic-Matrix-Algebra
Matrix-Of-Columns is defined as a Function in Basic-Matrix-Algebra
Matrix-Of-Rows is defined as a Function in Basic-Matrix-Algebra
Matrix-Quantity is defined as a Class in Tensor-Quantities
Max is defined as a Function in Kif-Numbers
Max-Heat-Rate is defined as a Function in Thermal-System
Max-Pressure is defined as a Function in Thermal-System
Max-Temperature is defined as a Function in Thermal-System
Maxacceptablecarbuffstroke is defined as a Function in Vt-Domain
Maximum-Slot-Cardinality is defined as a Relation in Frame-Ontology
Maximum-Value-Cardinality is defined as a Relation in Frame-Ontology
May is defined as a Object in Bibliographic-Data
May is defined as a Object in Jat-Generic
Mean-Effective-Pressure is defined as a Function in Thermal-System
Measured-By is defined as a Relation in Job-Assignment-Task
Mechanical-Component is defined as a Class in Mechanical-Components
Mechanical-Connection is defined as a Class in Mechanical-Components
Meets is defined as a Relation in Jat-Generic
Megapascal is defined as a Object in Standard-Units
Member is defined as a Relation in Kif-Sets
Meter is defined as a Object in Standard-Units
Meter is defined as a Object in Thermal-System
Mile is defined as a Object in Standard-Units
Min is defined as a Function in Kif-Numbers
Minacceptablembeammodulus is defined as a Function in Vt-Domain
Minacceptableopeningw is defined as a Function in Vt-Domain
Minimum-Slot-Cardinality is defined as a Relation in Frame-Ontology
Minimum-Value-Cardinality is defined as a Relation in Frame-Ontology
Minute is defined as a Object in Standard-Units
Minute is defined as a Object in Jat-Generic
Minute-Number is defined as a Class in Jat-Generic
Misc-Publication-Reference is defined as a Class in Bibliographic-Data
Miscellaneous-Publication is defined as a Class in Bibliographic-Data
Mod is defined as a Function in Kif-Numbers
Model-Fragment is defined as a Class in Cml
Model-Id is defined as a Function in Vt-Domain
Mole is defined as a Object in Standard-Units
Mole is defined as a Object in Thermal-System
Molecular-Weight is defined as a Function in Thermal-System
Molecular-Weight-Dimension is defined as a Object in Thermal-System
Monday is defined as a Object in Jat-Generic
Month is defined as a Object in Jat-Generic
Month-Name is defined as a Class in Bibliographic-Data
Month-Name is defined as a Class in Jat-Generic
Month-Number is defined as a Class in Jat-Generic
Motor is defined as a Class in Vt-Domain
Motorscompatible_Machine18 is defined as a Object in Vt-Domain
Motorscompatible_Machine28 is defined as a Object in Vt-Domain
Motorscompatible_Machine58 is defined as a Object in Vt-Domain
Motor_Current_Maximum is defined as a Function in Vt-Domain
Motor_Current_Supported_Maximum is defined as a Function in Vt-Domain
Motor_Generator_Current_Maximum is defined as a Function in Vt-Domain
Motor_Generator_Model is defined as a Class in Vt-Domain
Motor_Generator_Model_M01 is defined as a Class in Vt-Domain
Motor_Generator_Model_M02 is defined as a Class in Vt-Domain
Motor_Generator_Model_M03 is defined as a Class in Vt-Domain
Motor_Generator_Model_M04 is defined as a Class in Vt-Domain
Motor_Horsepower is defined as a Function in Vt-Domain
Motor_Horsepower_C is defined as a Object in Vt-Domain
Motor_Horsepower_Required is defined as a Function in Vt-Domain
Motor_Horsepower_Required_C01 is defined as a Object in Vt-Domain
Motor_Horsepower_Required_C02 is defined as a Object in Vt-Domain
Motor_Horsepower_Required_C03 is defined as a Object in Vt-Domain
Motor_Model_M01 is defined as a Class in Vt-Domain
Motor_Model_M02 is defined as a Class in Vt-Domain
Motor_Model_M03 is defined as a Class in Vt-Domain
Motor_Model_M04 is defined as a Class in Vt-Domain
Motor_Model_M05 is defined as a Class in Vt-Domain
Motor_Model_M06 is defined as a Class in Vt-Domain
Motor_Peak_Current_Required is defined as a Function in Vt-Domain
Motor_Torque_Releveling is defined as a Function in Vt-Domain
Motor_Torque_Releveling_C is defined as a Object in Vt-Domain
Motor_Weight is defined as a Function in Vt-Domain
Multimedia-Document is defined as a Class in Bibliographic-Data
Multimedia-Document-Reference is defined as a Class in Bibliographic-Data
Must-Be-One-Of is defined as a Relation in Slot-Constraint-Sugar
Mutual-Dependence is defined as a Relation in Thermal-System
Mutually-Disjoint is defined as a Class in Kif-Sets
Mxng-Prcs is defined as a Function in Thermal-System
Name is defined as a Function in Kif-Meta
Natural is defined as a Class in Kif-Numbers
Negation is defined as a Class in Kif-Meta
Negative is defined as a Class in Kif-Numbers
Net-Heat-Input-Rate is defined as a Function in Thermal-System
Net-Heat-Output-Rate is defined as a Function in Thermal-System
Net-Work-Output-Rate is defined as a Function in Thermal-System
Newspaper is defined as a Class in Bibliographic-Data
Newspaper-Article-Reference is defined as a Class in Bibliographic-Data
Newton is defined as a Object in Standard-Units
Nil is defined as a Object in Kif-Lists
Non-Negative-Integer is defined as a Class in Kif-Extensions
Non-Numeric-Quantity is defined as a Class in Cml
Non-Publication-Reference is defined as a Class in Bibliographic-Data
Non-Saturated-Water-Stream-Enthalpy is defined as a Class in Thermal-System
Non-Steady-State-Flow-Process is defined as a Class in Thermal-System
Nonnegative-Integer is defined as a Class in Kif-Numbers
Noofhoistcables_Of_Elevator_Values is defined as a Object in Vt-Domain
November is defined as a Object in Bibliographic-Data
November is defined as a Object in Jat-Generic
Nozzle is defined as a Class in Thermal-System
Nozzle-System is defined as a Class in Thermal-System
Nth is defined as a Function in Kif-Lists
Nth-Domain is defined as a Relation in Frame-Ontology
Nthrest is defined as a Function in Kif-Lists
Null is defined as a Class in Kif-Lists
Number is defined as a Class in Kif-Numbers
Numerator is defined as a Function in Kif-Numbers
Numeric-Matrix is defined as a Class in Tensor-Quantities
Numeric-Tensor is defined as a Class in Tensor-Quantities
Nzl is defined as a Function in Thermal-System
Nzl-Cv is defined as a Function in Thermal-System
Objconst is defined as a Class in Kif-Meta
Object-Constant is defined as a Class in Parametric-Constraints
Object-Constraint is defined as a Class in Parametric-Constraints
October is defined as a Object in Bibliographic-Data
October is defined as a Object in Jat-Generic
Odd-Integer is defined as a Class in Kif-Numbers
Ohtr-Pmp2-Junction is defined as a Function in Thermal-System
Ohtr-System is defined as a Function in Thermal-System
One-Many is defined as a Class in Kif-Relations
One-Of is defined as a Function in Frame-Ontology
One-One is defined as a Class in Kif-Relations
One-To-Many-Relation is defined as a Class in Frame-Ontology
One-To-One-Relation is defined as a Class in Frame-Ontology
Onebuffer_Whenless38 is defined as a Object in Vt-Domain
Onto is defined as a Relation in Frame-Ontology
Open-Feedwater-Heater is defined as a Class in Thermal-System
Openingtype_Of_Door_Values is defined as a Object in Vt-Domain
Opening_Count is defined as a Function in Vt-Domain
Opening_Height is defined as a Function in Vt-Domain
Opening_To_Hoistway_Left is defined as a Function in Vt-Domain
Opening_To_Hoistway_Right is defined as a Function in Vt-Domain
Opening_To_Hoistway_Right_C is defined as a Object in Vt-Domain
Opening_Width_Building is defined as a Function in Vt-Domain
Opening_Width_C is defined as a Object in Vt-Domain
Opening_Width_Door is defined as a Function in Vt-Domain
Operating-Mode-Model is defined as a Class in Dme-Cml
Operator is defined as a Class in Kif-Meta
Opn-Fwt-Htr is defined as a Function in Thermal-System
Opn-Fwt-Htr-Cv is defined as a Function in Thermal-System
Optimal-Component is defined as a Relation in Vt-Design
Organization is defined as a Class in Bibliographic-Data
Organization.Name is defined as a Function in Bibliographic-Data
Orientation is defined as a Function in Simple-Geometry
Orthogonal-Dimension-Set is defined as a Class in Physical-Quantities
Orthogonal-Matrix is defined as a Class in Basic-Matrix-Algebra
Orthonormal-Basis is defined as a Class in Tensor-Quantities
Outlet-Stream is defined as a Function in Thermal-System
Outlet-Stream1 is defined as a Function in Thermal-System
Outlet-Stream2 is defined as a Function in Thermal-System
Outlet-Velocity is defined as a Function in Thermal-System
Outlets is defined as a Relation in Thermal-System
Overall-Heat-Transfer-Coefficient is defined as a Function in Thermal-System
Overlaps is defined as a Relation in Jat-Generic
Overlaps= is defined as a Relation in Jat-Generic
Pairwise-Disjoint is defined as a Class in Kif-Sets
Parameter-Name is defined as a Class in Parametric-Constraints
Parameter-Slot is defined as a Class in Components-With-Constraints
Parameter-Slot-Of is defined as a Relation in Components-With-Constraints
Parameter.Value is defined as a Function in Parametric-Constraints
Parametric-Constraint is defined as a Class in Parametric-Constraints
Partial-Order is defined as a Relation in Abstract-Algebra
Partial-Order-Relation is defined as a Class in Frame-Ontology
Participant-Function is defined as a Class in Cml
Participant-Function-Total-On is defined as a Relation in Cml
Pascal is defined as a Object in Standard-Units
Payload-1 is defined as a Object in Mace-Domain
Payload-2 is defined as a Object in Mace-Domain
Pe-Rate is defined as a Function in Thermal-System
Pe-Rate-In is defined as a Function in Thermal-System
Pe-Rate-Out is defined as a Function in Thermal-System
Peakmcur_Calc_10hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_10hp_2 is defined as a Object in Vt-Domain
Peakmcur_Calc_10hp_3 is defined as a Object in Vt-Domain
Peakmcur_Calc_15hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_15hp_2 is defined as a Object in Vt-Domain
Peakmcur_Calc_15hp_3 is defined as a Object in Vt-Domain
Peakmcur_Calc_20hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_20hp_2 is defined as a Object in Vt-Domain
Peakmcur_Calc_25hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_25hp_2 is defined as a Object in Vt-Domain
Peakmcur_Calc_25hp_3 is defined as a Object in Vt-Domain
Peakmcur_Calc_30hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_30hp_2 is defined as a Object in Vt-Domain
Peakmcur_Calc_40hp_1 is defined as a Object in Vt-Domain
Peakmcur_Calc_40hp_2 is defined as a Object in Vt-Domain
Penname is defined as a Relation in Bibliographic-Data
Periodical-Publication is defined as a Class in Bibliographic-Data
Person is defined as a Class in Bibliographic-Data
Personal-Communication-Reference is defined as a Class in Bibliographic-Data
Phase is defined as a Function in Kif-Numbers
Physical-Dimension is defined as a Class in Physical-Quantities
Physical-Quantity is defined as a Class in Physical-Quantities
Piecewise-Continuous-Function is defined as a Class in Cml
Piecewise-Continuous-Quantity is defined as a Class in Cml
Planar-Mace is defined as a Object in Mace-Domain
Platform_Depth is defined as a Function in Vt-Domain
Platform_Depth_C is defined as a Object in Vt-Domain
Platform_Depth_Spec is defined as a Function in Vt-Domain
Platform_Height is defined as a Function in Vt-Domain
Platform_Model is defined as a Class in Vt-Domain
Platform_Model_C01 is defined as a Object in Vt-Domain
Platform_Model_C02 is defined as a Object in Vt-Domain
Platform_Model_C03 is defined as a Object in Vt-Domain
Platform_Model_C04 is defined as a Object in Vt-Domain
Platform_Model_M01 is defined as a Class in Vt-Domain
Platform_Model_M02 is defined as a Class in Vt-Domain
Platform_Model_M03 is defined as a Class in Vt-Domain
Platform_Running_Clearance is defined as a Function in Vt-Domain
Platform_To_Hoistway_Front is defined as a Function in Vt-Domain
Platform_To_Hoistway_Front_C is defined as a Object in Vt-Domain
Platform_To_Hoistway_Left is defined as a Function in Vt-Domain
Platform_To_Hoistway_Left_C is defined as a Object in Vt-Domain
Platform_To_Hoistway_Right is defined as a Function in Vt-Domain
Platform_To_Hoistway_Right_C is defined as a Object in Vt-Domain
Platform_Weight is defined as a Function in Vt-Domain
Platform_Weight_C01 is defined as a Object in Vt-Domain
Platform_Weight_C02 is defined as a Object in Vt-Domain
Platform_Weight_C03 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap is defined as a Function in Vt-Domain
Platform_Weight_Factor_Ap_C01 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C02 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C03 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C04 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C05 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C06 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C07 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C08 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C09 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C10 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Ap_C11 is defined as a Object in Vt-Domain
Platform_Weight_Factor_S is defined as a Function in Vt-Domain
Platform_Weight_Factor_S_C01 is defined as a Object in Vt-Domain
Platform_Weight_Factor_S_C02 is defined as a Object in Vt-Domain
Platform_Weight_Factor_S_C03 is defined as a Object in Vt-Domain
Platform_Weight_Factor_X is defined as a Function in Vt-Domain
Platform_Weight_Factor_X_C01 is defined as a Object in Vt-Domain
Platform_Weight_Factor_X_C02 is defined as a Object in Vt-Domain
Platform_Weight_Factor_X_C03 is defined as a Object in Vt-Domain
Platform_Weight_Factor_X_C04 is defined as a Object in Vt-Domain
Platform_Weight_Factor_X_C05 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Z is defined as a Function in Vt-Domain
Platform_Weight_Factor_Z_C01 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Z_C02 is defined as a Object in Vt-Domain
Platform_Weight_Factor_Z_C03 is defined as a Object in Vt-Domain
Platform_Width is defined as a Function in Vt-Domain
Platform_Width_C01 is defined as a Object in Vt-Domain
Platform_Width_F is defined as a Function in Vt-Domain
Pmp is defined as a Function in Thermal-System
Pmp-Blr-Junction is defined as a Function in Thermal-System
Pmp-Cv is defined as a Function in Thermal-System
Pmp-Sgen-Junction is defined as a Function in Thermal-System
Pmp-Sys is defined as a Function in Thermal-System
Pmp-System is defined as a Function in Thermal-System
Pmp-System1 is defined as a Function in Thermal-System
Pmp-System2 is defined as a Function in Thermal-System
Pmp1-Ohtr-Junction is defined as a Function in Thermal-System
Pmp2-Chtr-Junction is defined as a Function in Thermal-System
Point-In is defined as a Relation in Quantity-Spaces
Port is defined as a Class in Thermal-System
Port-Area is defined as a Function in Thermal-System
Port-Elevation is defined as a Function in Thermal-System
Position is defined as a Function in Simple-Geometry
Positive is defined as a Class in Kif-Numbers
Positive-Displacement-Component is defined as a Class in Thermal-System
Positive-Integer is defined as a Class in Kif-Extensions
Pound-Force is defined as a Object in Standard-Units
Pound-Mass is defined as a Object in Standard-Units
Power-Dimension is defined as a Object in Thermal-System
Power-Input is defined as a Function in Thermal-System
Power-Input-Per-Mass is defined as a Function in Thermal-System
Power-Output is defined as a Function in Thermal-System
Power-System-Eight-One is defined as a Class in Thermal-System
Power-System-With-Extraction-Turbines is defined as a Class in Thermal-System
Power-System-With-Reheat is defined as a Class in Thermal-System
Pressure-Dimension is defined as a Object in Standard-Dimensions
Pressure-Dimension is defined as a Object in Thermal-System
Pressure-Ratio is defined as a Function in Thermal-System
Proceedings is defined as a Class in Bibliographic-Data
Proceedings-Paper-Reference is defined as a Class in Bibliographic-Data
Process-Cv is defined as a Relation in Thermal-System
Process-Involved is defined as a Function in Thermal-System
Projection is defined as a Function in Frame-Ontology
Proper-Set is defined as a Class in Kif-Sets
Proper-Subset is defined as a Relation in Kif-Sets
Publication-Reference is defined as a Class in Bibliographic-Data
Publisher is defined as a Class in Bibliographic-Data
Publisher-Name is defined as a Class in Bibliographic-Data
Publisher.Address is defined as a Relation in Bibliographic-Data
Publisher.Name is defined as a Function in Bibliographic-Data
Pump is defined as a Class in Thermal-System
Pump-Involved is defined as a Function in Thermal-System
Pump-Operating-Mode is defined as a Class in Thermal-System
Pump-Power-Input-Per-Mass-Approximation is defined as a Class in Thermal-System
Pump-System is defined as a Class in Thermal-System
Qprop+ is defined as a Relation in Cml
Qprop- is defined as a Relation in Cml
Quality is defined as a Function in Thermal-System
Quanterm is defined as a Class in Kif-Meta
Quantity-Function is defined as a Class in Cml
Quantity-Function-Dimension is defined as a Relation in Cml
Quantity-Function-Total-On is defined as a Relation in Cml
Quantity-Space is defined as a Class in Quantity-Spaces
Quantity.Dimension is defined as a Function in Physical-Quantities
Quantsent is defined as a Class in Kif-Meta
Quoterm is defined as a Class in Kif-Meta
R-Lower-Bound is defined as a Function in Jat-Generic
R-Upper-Bound is defined as a Function in Jat-Generic
Radian is defined as a Object in Standard-Units
Range is defined as a Relation in Frame-Ontology
Range-Of is defined as a Relation in Frame-Ontology
Rational-Number is defined as a Class in Kif-Numbers
Rationalize is defined as a Function in Kif-Numbers
Real-Number is defined as a Class in Kif-Numbers
Real-Range is defined as a Class in Jat-Generic
Realpart is defined as a Function in Kif-Numbers
Recip is defined as a Function in Unary-Scalar-Functions
Recip is defined as a Function in Physical-Quantities
Recip is defined as a Function in Scalar-Quantities
Reciprocating-Component is defined as a Class in Thermal-System
Ref.Abstract is defined as a Function in Bibliographic-Data
Ref.Address is defined as a Relation in Bibliographic-Data
Ref.Author is defined as a Relation in Bibliographic-Data
Ref.Booktitle is defined as a Function in Bibliographic-Data
Ref.Day is defined as a Function in Bibliographic-Data
Ref.Document is defined as a Function in Bibliographic-Data
Ref.Edition is defined as a Function in Bibliographic-Data
Ref.Editor is defined as a Relation in Bibliographic-Data
Ref.Issue is defined as a Function in Bibliographic-Data
Ref.Keywords is defined as a Relation in Bibliographic-Data
Ref.Labels is defined as a Relation in Bibliographic-Data
Ref.Magazine-Name is defined as a Function in Bibliographic-Data
Ref.Month is defined as a Function in Bibliographic-Data
Ref.Newspaper-Name is defined as a Function in Bibliographic-Data
Ref.Notes is defined as a Relation in Bibliographic-Data
Ref.Number-Of-Volumes is defined as a Function in Bibliographic-Data
Ref.Organization is defined as a Function in Bibliographic-Data
Ref.Pages is defined as a Function in Bibliographic-Data
Ref.Periodical is defined as a Function in Bibliographic-Data
Ref.Publisher is defined as a Function in Bibliographic-Data
Ref.Report-Number is defined as a Function in Bibliographic-Data
Ref.Secondary-Author is defined as a Relation in Bibliographic-Data
Ref.Secondary-Title is defined as a Relation in Bibliographic-Data
Ref.Series-Editor is defined as a Relation in Bibliographic-Data
Ref.Tertiary-Author is defined as a Relation in Bibliographic-Data
Ref.Title is defined as a Function in Bibliographic-Data
Ref.Translator is defined as a Relation in Bibliographic-Data
Ref.Type-Of-Work is defined as a Function in Bibliographic-Data
Ref.Volume is defined as a Function in Bibliographic-Data
Ref.Year is defined as a Function in Bibliographic-Data
Reference is defined as a Class in Bibliographic-Data
Reference-Frame is defined as a Function in Mechanical-Components
Reference-Point is defined as a Function in Mechanical-Components
Reference-Temperature is defined as a Function in Thermal-System
Reflexive is defined as a Relation in Abstract-Algebra
Reflexive-Relation is defined as a Class in Frame-Ontology
Related-Axioms is defined as a Relation in Frame-Ontology
Relation is defined as a Class in Kif-Relations
Relation-Constant is defined as a Class in Parametric-Constraints
Relation-Extended-To-Function-Quantities is defined as a Class in Unary-Scalar-Functions
Relation-Extended-To-Quantities is defined as a Class in Physical-Quantities
Relation-Universe is defined as a Function in Frame-Ontology
Relconst is defined as a Class in Kif-Meta
Relsent is defined as a Class in Kif-Meta
Rem is defined as a Function in Kif-Numbers
Remove is defined as a Function in Kif-Lists
Resource is defined as a Class in Job-Assignment-Task
Rest is defined as a Function in Kif-Lists
Restricted-Constraint-Sentence is defined as a Relation in Parametric-Constraints
Restricted-Constraint-Term is defined as a Relation in Parametric-Constraints
Revappend is defined as a Function in Kif-Lists
Reverse is defined as a Function in Kif-Lists
Reverse-Implication is defined as a Class in Kif-Meta
Ring is defined as a Relation in Abstract-Algebra
Rotating-Component is defined as a Class in Thermal-System
Rotating-Speed is defined as a Function in Thermal-System
Round is defined as a Function in Kif-Numbers
Row is defined as a Function in Basic-Matrix-Algebra
Row-Dimension is defined as a Function in Basic-Matrix-Algebra
Row-Matrix is defined as a Class in Basic-Matrix-Algebra
Ruleop is defined as a Class in Kif-Meta
Safety_Beam_A is defined as a Function in Vt-Domain
Safety_Beam_B is defined as a Function in Vt-Domain
Safety_Beam_Bending_Moment is defined as a Function in Vt-Domain
Safety_Beam_Bending_Moment_C is defined as a Object in Vt-Domain
Safety_Beam_Bending_Moment_Maximum is defined as a Function in Vt-Domain
Safety_Beam_Between_Guiderails is defined as a Function in Vt-Domain
Safety_Beam_Between_Guiderails_C is defined as a Object in Vt-Domain
Safety_Beam_Bg is defined as a Function in Vt-Domain
Safety_Beam_Constant is defined as a Function in Vt-Domain
Safety_Beam_Height is defined as a Function in Vt-Domain
Safety_Beam_Load is defined as a Function in Vt-Domain
Safety_Beam_Load_C is defined as a Object in Vt-Domain
Safety_Beam_Load_Maximum is defined as a Function in Vt-Domain
Safety_Beam_Model is defined as a Class in Vt-Domain
Safety_Beam_Model_C01 is defined as a Object in Vt-Domain
Safety_Beam_Model_C02 is defined as a Object in Vt-Domain
Safety_Beam_Model_C03 is defined as a Object in Vt-Domain
Safety_Beam_Model_M01 is defined as a Class in Vt-Domain
Safety_Beam_Model_M02 is defined as a Class in Vt-Domain
Safety_Beam_Model_M03 is defined as a Class in Vt-Domain
Safety_Beam_Weight is defined as a Function in Vt-Domain
Safety_Beam_Weight_C is defined as a Object in Vt-Domain
Same-Slot-Values is defined as a Relation in Frame-Ontology
Same-Values is defined as a Relation in Frame-Ontology
Satisfied-Constraint is defined as a Class in Parametric-Constraints
Satisfies-Constraint is defined as a Relation in Parametric-Constraints
Saturated-P is defined as a Function in Thermal-System
Saturated-Water-Stream-Enthalpy is defined as a Class in Thermal-System
Saturated-Water-Stream-Entropy is defined as a Class in Thermal-System
Saturated-Water-Stream-Specific-Volume is defined as a Class in Thermal-System
Saturation-Pressure is defined as a Function in Thermal-System
Saturation-Temperature is defined as a Function in Thermal-System
Saturday is defined as a Object in Jat-Generic
Scalar-Quantities-Of-Dimension is defined as a Function in Scalar-Quantities
Scalar-Quantity is defined as a Class in Scalar-Quantities
Scale-Float is defined as a Function in Kif-Numbers
Scenario is defined as a Class in Cml
Scenario.Participants is defined as a Function in Cml
Second is defined as a Object in Jat-Generic
Second is defined as a Object in Thermal-System
Second-Item is defined as a Function in Kif-Extensions
Second-Number is defined as a Class in Jat-Generic
Second-Of-Time is defined as a Object in Standard-Units
Semigroup is defined as a Relation in Abstract-Algebra
Sentence is defined as a Class in Kif-Meta
Sentence-With-One-Variable is defined as a Class in Parametric-Constraints
Sentop is defined as a Class in Kif-Meta
September is defined as a Object in Bibliographic-Data
September is defined as a Object in Jat-Generic
Seqvar is defined as a Class in Kif-Meta
Set is defined as a Class in Kif-Sets
Set-Cover is defined as a Relation in Kif-Sets
Set-Partition is defined as a Relation in Kif-Sets
Setof is defined as a Function in Kif-Sets
Setterm is defined as a Class in Kif-Meta
Sgen is defined as a Function in Thermal-System
Sgen-Cv is defined as a Function in Thermal-System
Sgen-Sys is defined as a Function in Thermal-System
Sgen-System is defined as a Function in Thermal-System
Sgen-Tbn1-Junction is defined as a Function in Thermal-System
Sgen-Tbn2-Junction is defined as a Function in Thermal-System
Sgen-Xtbn1-Junction is defined as a Function in Thermal-System
Sgen-Xtbn2-Junction is defined as a Function in Thermal-System
Si-Unit is defined as a Class in Standard-Units
Signum is defined as a Function in Kif-Numbers
Simple-Rotation is defined as a Function in Simple-Geometry
Simple-Set is defined as a Class in Kif-Sets
Simple-Turbine is defined as a Class in Thermal-System
Sin is defined as a Function in Kif-Numbers
Single is defined as a Class in Kif-Lists
Single-Valued-Slot is defined as a Relation in Frame-Ontology
Sinh is defined as a Function in Kif-Numbers
Size is defined as a Function in Basic-Matrix-Algebra
Sling_Bending_Moment_Maximum is defined as a Function in Vt-Domain
Sling_Deflection_Index_Maximum is defined as a Function in Vt-Domain
Sling_Model is defined as a Class in Vt-Domain
Sling_Model_M01 is defined as a Class in Vt-Domain
Sling_Model_M02 is defined as a Class in Vt-Domain
Sling_Model_M03 is defined as a Class in Vt-Domain
Sling_Model_M04 is defined as a Class in Vt-Domain
Sling_Model_M05 is defined as a Class in Vt-Domain
Sling_Stile_Length is defined as a Function in Vt-Domain
Sling_Stile_Length_C is defined as a Object in Vt-Domain
Sling_Underbeam is defined as a Function in Vt-Domain
Sling_Underbeam_C is defined as a Object in Vt-Domain
Sling_Underbeam_Space is defined as a Function in Vt-Domain
Sling_Weight is defined as a Function in Vt-Domain
Sling_Weight_C is defined as a Object in Vt-Domain
Sling_Weight_Factor_A is defined as a Function in Vt-Domain
Sling_Weight_Factor_B is defined as a Function in Vt-Domain
Sling_Weight_Factor_C is defined as a Function in Vt-Domain
Slot-Cardinality is defined as a Function in Frame-Ontology
Slot-Documentation is defined as a Function in Cml
Slot-Value-Type is defined as a Relation in Frame-Ontology
Slug is defined as a Object in Standard-Units
Source is defined as a Class in Job-Assignment-Task
Spatial.Dimension is defined as a Function in Tensor-Quantities
Specific-Energy-Dimension is defined as a Object in Thermal-System
Specific-Enthalpy is defined as a Function in Thermal-System
Specific-Entropy is defined as a Function in Thermal-System
Specific-Entropy-Dimension is defined as a Object in Thermal-System
Specific-Internal-Energy is defined as a Function in Thermal-System
Specific-Volume is defined as a Function in Thermal-System
Specific-Volume-Dimension is defined as a Object in Thermal-System
Speed is defined as a Function in Thermal-System
Sqrt is defined as a Function in Kif-Numbers
Square is defined as a Function in Vt-Design
Square-Matrix is defined as a Class in Basic-Matrix-Algebra
Standard-Quantity is defined as a Class in Cml
Standard-Unit is defined as a Function in Physical-Quantities
Start= is defined as a Relation in Jat-Generic
Starts is defined as a Relation in Jat-Generic
State-Entropy is defined as a Function in Thermal-System
State-Pressure is defined as a Function in Thermal-System
State-Temperature is defined as a Function in Thermal-System
Steady-Flow-Adiabatic-Compression is defined as a Class in Thermal-System
Steady-Flow-Adiabatic-Expansion is defined as a Class in Thermal-System
Steady-Flow-Adiabatic-Heat-Exchange is defined as a Class in Thermal-System
Steady-Flow-Adiabatic-Mixing is defined as a Class in Thermal-System
Steady-Flow-Adiabatic-Process is defined as a Class in Thermal-System
Steady-Flow-Combustion-Process is defined as a Class in Thermal-System
Steady-Flow-Compression is defined as a Class in Thermal-System
Steady-Flow-Expansion is defined as a Class in Thermal-System
Steady-Flow-Expansion-Or-Compression is defined as a Class in Thermal-System
Steady-Flow-Heat-Transfer is defined as a Class in Thermal-System
Steady-Flow-In-Diffuser is defined as a Class in Thermal-System
Steady-Flow-In-Nozzle is defined as a Class in Thermal-System
Steady-Flow-Isentropic-Process is defined as a Class in Thermal-System
Steady-Flow-Isobaric-Heat-Transfer is defined as a Class in Thermal-System
Steady-Flow-Isobaric-Process is defined as a Class in Thermal-System
Steady-Flow-Isothermal-Process is defined as a Class in Thermal-System
Steady-Flow-Throttling is defined as a Class in Thermal-System
Steady-State-Steady-Flow-Process is defined as a Class in Thermal-System
Steam-Generator-With-Reheat is defined as a Class in Thermal-System
Steam-Generator-With-Reheat-System is defined as a Class in Thermal-System
Step-Quantity is defined as a Class in Cml
Stmgen-Htsr-Prcs is defined as a Function in Thermal-System
Stream is defined as a Class in Thermal-System
Stream-Area is defined as a Function in Thermal-System
Stream-Elevation is defined as a Function in Thermal-System
Stream-Junction is defined as a Class in Thermal-System
Stream-Pressure is defined as a Function in Thermal-System
Stream-Temperature is defined as a Function in Thermal-System
String is defined as a Class in Kif-Extensions
Stroke is defined as a Function in Thermal-System
Strokes-Per-Cycle is defined as a Function in Thermal-System
Structural-Element-Model is defined as a Class in Dme-Cml
Subclass-Of is defined as a Relation in Frame-Ontology
Subclass-Partition is defined as a Relation in Frame-Ontology
Subcomponent-Of is defined as a Relation in Component-Assemblies
Sublist is defined as a Relation in Kif-Lists
Subpart-Slot is defined as a Class in Component-Assemblies
Subpart-Slot-Of is defined as a Relation in Component-Assemblies
Subrelation-Of is defined as a Relation in Frame-Ontology
Subset is defined as a Relation in Kif-Sets
Subset-Axiom is defined as a Onto-Axiom in Kif-Sets
Subst is defined as a Function in Kif-Lists
Substance is defined as a Class in Thermal-System
Substance-Container is defined as a Class in Thermal-System
Substance-In is defined as a Function in Thermal-System
Summation is defined as a Function in Physical-Quantities
Sunday is defined as a Object in Jat-Generic
Superclass-Of is defined as a Relation in Frame-Ontology
Symbol is defined as a Class in Kif-Extensions
Symmetric is defined as a Relation in Abstract-Algebra
Symmetric-Relation is defined as a Class in Frame-Ontology
System-Model is defined as a Class in Dme-Cml
System-Of-Units is defined as a Class in Physical-Quantities
System-With-Condensor is defined as a Class in Thermal-System
Tan is defined as a Function in Kif-Numbers
Tanh is defined as a Function in Kif-Numbers
Target is defined as a Class in Job-Assignment-Task
Tbn is defined as a Function in Thermal-System
Tbn-Cnd-Junction is defined as a Function in Thermal-System
Tbn-Cv is defined as a Function in Thermal-System
Tbn-Sys1 is defined as a Function in Thermal-System
Tbn-Sys2 is defined as a Function in Thermal-System
Tbn-System is defined as a Function in Thermal-System
Tbn1-Sgen-Junction is defined as a Function in Thermal-System
Tbn2-Cnd-Junction is defined as a Function in Thermal-System
Technical-Manual is defined as a Class in Bibliographic-Data
Technical-Manual-Reference is defined as a Class in Bibliographic-Data
Technical-Report is defined as a Class in Bibliographic-Data
Technical-Report-Reference is defined as a Class in Bibliographic-Data
Temperature-Dimension is defined as a Object in Thermal-System
Temporal-Measure is defined as a Class in Jat-Generic
Temporally-Fixed-Job-Class is defined as a Class in Job-Assignment-Task
Tensor-Order is defined as a Function in Tensor-Quantities
Tensor-Quantity is defined as a Class in Tensor-Quantities
Tensor-To-Matrix is defined as a Function in Tensor-Quantities
Term is defined as a Class in Kif-Meta
Terminal is defined as a Class in Dme-Cml
Termop is defined as a Class in Kif-Meta
The-Constraint is defined as a Function in Parametric-Constraints
The-Dyad is defined as a Function in Tensor-Quantities
The-Exponentiation-Constant-E is defined as a Object in Kif-Numbers
The-Free-Variable-In is defined as a Function in Parametric-Constraints
The-Identity-Unary-Scalar-Function-For-Domain is defined as a Function in Unary-Scalar-Functions
The-Number-Pi is defined as a Object in Standard-Units
The-Vector-Quantity is defined as a Function in Tensor-Quantities
The-Zero-Dyad-Of-Type is defined as a Function in Tensor-Quantities
The-Zero-Scalar-For-Dimension is defined as a Function in Scalar-Quantities
The-Zero-Unary-Scalar-Function-For-Dimension is defined as a Function in Unary-Scalar-Functions
The-Zero-Vector-Of-Type is defined as a Function in Tensor-Quantities
Thermal-Component is defined as a Class in Thermal-System
Thermal-Component-Op-Mode is defined as a Class in Thermal-System
Thermal-Cycle is defined as a Class in Thermal-System
Thermal-Cycle-Op-Mode is defined as a Class in Thermal-System
Thermal-Efficiency is defined as a Function in Thermal-System
Thermal-Process is defined as a Class in Thermal-System
Thermal-Process-Op-Mode is defined as a Class in Thermal-System
Thermal-System is defined as a theory
Thermodynamic-Temperature-Dimension is defined as a Object in Standard-Dimensions
Therm^-1-Dimension is defined as a Object in Standard-Dimensions
Thesis is defined as a Class in Bibliographic-Data
Thesis-Reference is defined as a Class in Bibliographic-Data
Thesis.University is defined as a Function in Bibliographic-Data
Thing is defined as a Class in Frame-Ontology
Thrtlng-Prcs is defined as a Function in Thermal-System
Thursday is defined as a Object in Jat-Generic
Time-Dependent-Function is defined as a Class in Cml
Time-Dependent-Quantity is defined as a Class in Unary-Scalar-Functions
Time-Dependent-Relation is defined as a Class in Cml
Time-Dimension is defined as a Object in Standard-Dimensions
Time-Point is defined as a Class in Jat-Generic
Time-Point.Day is defined as a Function in Jat-Generic
Time-Point.Day-Name is defined as a Function in Jat-Generic
Time-Point.Hour is defined as a Function in Jat-Generic
Time-Point.Minute is defined as a Function in Jat-Generic
Time-Point.Month is defined as a Function in Jat-Generic
Time-Point.Month-Name is defined as a Function in Jat-Generic
Time-Point.Second is defined as a Function in Jat-Generic
Time-Point.Unit is defined as a Function in Jat-Generic
Time-Point.Year is defined as a Function in Jat-Generic
Time-Quantity is defined as a Class in Unary-Scalar-Functions
Time-Range is defined as a Class in Jat-Generic
Time-Range-Unit is defined as a Function in Job-Assignment-Task
Time-Range.Duration is defined as a Function in Jat-Generic
Time-Range.End-Time is defined as a Function in Jat-Generic
Time-Range.Start-Time is defined as a Function in Jat-Generic
Timepoint is defined as a Class in Bibliographic-Data
Timepoint.Day is defined as a Function in Bibliographic-Data
Timepoint.Minutes is defined as a Function in Bibliographic-Data
Timepoint.Month is defined as a Function in Bibliographic-Data
Timepoint.Seconds is defined as a Function in Bibliographic-Data
Timepoint.Year is defined as a Function in Bibliographic-Data
Title is defined as a Class in Bibliographic-Data
Torque-Wheel is defined as a Object in Mace-Domain
Torque-Wheel-Assy is defined as a Object in Mace-Domain
Total-On is defined as a Relation in Frame-Ontology
Total-Order-Relation is defined as a Class in Frame-Ontology
Tp+ is defined as a Function in Jat-Generic
Tp< is defined as a Relation in Jat-Generic
Tp= is defined as a Relation in Jat-Generic
Tp> is defined as a Relation in Jat-Generic
Tr+ is defined as a Function in Jat-Generic
Transitive is defined as a Relation in Abstract-Algebra
Transitive-Relation is defined as a Class in Frame-Ontology
Transpose is defined as a Function in Basic-Matrix-Algebra
Trichotomizes is defined as a Relation in Abstract-Algebra
Triple is defined as a Class in Kif-Lists
Trp-Ohtr-Junction is defined as a Function in Thermal-System
Trp-System is defined as a Function in Thermal-System
Truncate is defined as a Function in Kif-Numbers
Truth is defined as a Class in Kif-Meta
Truth-Value-Constant is defined as a Class in Parametric-Constraints
Tuesday is defined as a Object in Jat-Generic
Turbine is defined as a Class in Thermal-System
Turbine-System is defined as a Class in Thermal-System
Unary-Function is defined as a Class in Kif-Relations
Unary-Relation is defined as a Class in Kif-Relations
Unary-Scalar-Function-Quantity is defined as a Class in Unary-Scalar-Functions
Unbounded is defined as a Class in Kif-Sets
Undefined is defined as a Class in Kif-Extensions
Undergoing is defined as a Relation in Thermal-System
Union is defined as a Function in Kif-Sets
Union-Axiom is defined as a Onto-Axiom in Kif-Sets
Unit-Length-Job-Class is defined as a Class in Job-Assignment-Task
Unit-Of-Measure is defined as a Class in Physical-Quantities
Unit-Time-Range-Class is defined as a Class in Job-Assignment-Task
Unit-Vec is defined as a Class in Tensor-Quantities
Universal-Time-Spec is defined as a Class in Bibliographic-Data
Universe is defined as a Function in Kif-Relations
University is defined as a Class in Bibliographic-Data
Us-Cent is defined as a Object in Standard-Units
Us-Dollar is defined as a Object in Standard-Units
Used-In-Constraint is defined as a Relation in Components-With-Constraints
Valid-Component is defined as a Class in Components-With-Constraints
Value is defined as a Function in Kif-Relations
Value-Allowed-For-Vt-Term is defined as a Class in Vt-Design
Value-At is defined as a Function in Unary-Scalar-Functions
Value-Cardinality is defined as a Function in Frame-Ontology
Value-Class is defined as a Relation in Slot-Constraint-Sugar
Value-Type is defined as a Relation in Frame-Ontology
Variable is defined as a Class in Kif-Meta
Variables-In-Cond-Clause is defined as a Function in Parametric-Constraints
Variables-In-Sentence is defined as a Function in Parametric-Constraints
Variables-In-Term is defined as a Function in Parametric-Constraints
Vector-Component is defined as a Function in Tensor-Quantities
Vector-Quantities-Of-Dimensions is defined as a Function in Tensor-Quantities
Vector-Quantity is defined as a Class in Tensor-Quantities
Velocity is defined as a Function in Thermal-System
Velocity-Dimension is defined as a Object in Thermal-System
Volume-Dimension is defined as a Object in Thermal-System
Volumetric-Efficiency is defined as a Function in Thermal-System
Vt-Component is defined as a Class in Vt-Design
Vt-Constant is defined as a Class in Vt-Design
Vt-Constraint is defined as a Class in Vt-Design
Vt-Constraint-Sentence is defined as a Class in Vt-Design
Water is defined as a Class in Thermal-System
Water-In-Blr is defined as a Function in Thermal-System
Water-In-Cnd is defined as a Function in Thermal-System
Water-In-Pmp is defined as a Function in Thermal-System
Water-In-Tbn is defined as a Function in Thermal-System
Water-Involved is defined as a Function in Thermal-System
Water-Operating-Mode is defined as a Class in Thermal-System
Watt is defined as a Object in Standard-Units
Weak-Transitive-Relation is defined as a Class in Frame-Ontology
Wednesday is defined as a Object in Jat-Generic
Wheel-Angle is defined as a Function in Mace-Domain
Wheel-Torque is defined as a Function in Mace-Domain
Word is defined as a Class in Kif-Meta
Work-Consuming-Component is defined as a Class in Thermal-System
Work-Dimension is defined as a Object in Standard-Dimensions
Work-Dimension is defined as a Object in Thermal-System
Work-Producing-Component is defined as a Class in Thermal-System
Work-Rate is defined as a Function in Thermal-System
Working-Fluid-In-Cycle is defined as a Function in Thermal-System
X is defined as a Function in Mace-Domain
Xtbn is defined as a Function in Thermal-System
Xtbn-Cv is defined as a Function in Thermal-System
Xtbn-System1 is defined as a Function in Thermal-System
Xtbn-System2 is defined as a Function in Thermal-System
Xtbn1-Chtr-Junction is defined as a Function in Thermal-System
Xtbn1-Sgen-Junction is defined as a Function in Thermal-System
Xtbn2-Cnd-Junction is defined as a Function in Thermal-System
Xtbn2-Ohtr-Junction is defined as a Function in Thermal-System
Y is defined as a Function in Mace-Domain
Year is defined as a Object in Jat-Generic
Year-Number is defined as a Class in Bibliographic-Data
Year-Number is defined as a Class in Jat-Generic
Zero is defined as a Class in Kif-Numbers
Zero-Element is defined as a Class in Basic-Matrix-Algebra
Zero-Quantity is defined as a Class in Physical-Quantities
This file was generated by Ontolingua on Friday, 7 October 1994