UnitOfMeasure
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2394-2396 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6200-6205 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1074-1077 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6223-6223 | Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6198-6198 | Unit of measure is a subclass of physical quantity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 853-853 | Rad is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2093-2093 | Revolutions per minute is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6497-6497 | The range of giga is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6469-6469 | The range of kilo is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6483-6483 | The range of mega is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6539-6539 | The range of micro is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6525-6525 | The range of milli is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6553-6553 | The range of nano is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6568-6568 | The range of pico is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3965-3965 | The range of square unit is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6511-6511 | The range of tera is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6612-6612 | The range of unit fn is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9868-9868 | Acidity measure is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6207-6207 | Composite unit of measure is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6215-6215 | Non composite unit of measure is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7449-7449 | Sound pressure level unit is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6237-6237 | Systeme international unit is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1301-1301 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1819-1819 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 979-979 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 514-514 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 518-518 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2663-2663 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 931-931 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6496-6496 | The number 1 argument of giga is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6468-6468 | The number 1 argument of kilo is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6349-6349 | The number 2 argument of measure is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6482-6482 | The number 1 argument of mega is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6538-6538 | The number 1 argument of micro is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6524-6524 | The number 1 argument of milli is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6552-6552 | The number 1 argument of nano is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6567-6567 | The number 1 argument of pico is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3964-3964 | The number 1 argument of square unit is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6510-6510 | The number 1 argument of tera is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 900-900 | The number 4 argument of component data ID is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6150-6150 | The number 2 argument of graph measure is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1245-1245 | The number 5 argument of mixture ratio is an instance of unit of measure |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 840-840 | The number 2 argument of unit measuring performance is an instance of unit of measure |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1172-1184 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2286-2291 |
|