No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 854-854	例 拉德 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2094-2094	例 RevolutionsPerMinute and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2343-2343	例 更大的規模 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6960-6960	例 西門子 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7065-7065	例 希沃特 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6981-6981	例 特斯拉 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6926-6926	例 伏特 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6889-6889	例 瓦 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6971-6971	例 韋伯 and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6223-6223	劃分 UnitOfMeasure, CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6272-6272	子類 UnitOfArea and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7826-7826	子類 UnitOfAtmosphericPressure and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6840-6840	子類 UnitOfFrequency and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6283-6283	子類 UnitOfVolume and CompositeUnitOfMeasure
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