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 2343-2343 Richter magnitude is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6960-6960 Siemens is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7065-7065 Sievert is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6981-6981 Tesla is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6926-6926 Volt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6889-6889 Watt is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6971-6971 Weber is an instance of composite unit of measure
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 6272-6272 Unit of area is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7826-7826 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 6840-6840 Unit of frequency is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6283-6283 Unit of volume is a subclass of composite unit of measure
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64669-64669


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