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