No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 854-854	拉德 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2094-2094	RevolutionsPerMinute 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2343-2343	更大的规模 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6960-6960	西门子 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7065-7065	希沃特 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6981-6981	特斯拉 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6926-6926	伏特 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6889-6889	瓦 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6971-6971	韦伯 是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6223-6223	测量单位 详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6272-6272	UnitOfArea 是 CompositeUnitOfMeasure 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7826-7826	UnitOfAtmosphericPressure 是 CompositeUnitOfMeasure 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6840-6840	UnitOfFrequency 是 CompositeUnitOfMeasure 的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6283-6283	UnitOfVolume 是 CompositeUnitOfMeasure 的 subclass
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