CompositeUnitOfMeasure(composite unit of measure)

-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 854-854 Rad is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Cars.kif 2094-2094 Revolutions per minute is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 2348-2348 Richter magnitude is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6899-6899 Siemens is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7004-7004 Sievert is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6920-6920 Tesla is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6865-6865 Volt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6828-6828 Watt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6910-6910 Weber is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6162-6162 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 6211-6211 Unit of area is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7765-7765 Unit of atmospheric pressure is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6779-6779 Unit of frequency is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6222-6222 Unit of volume is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64775-64775


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners