(instance Rad CompositeUnitOfMeasure)	MilitaryProcesses.kif 854-854	拉德 是 CompositeUnitOfMeasure 的 instance
(instance RevolutionsPerMinute CompositeUnitOfMeasure)	Cars.kif 2100-2100	RevolutionsPerMinute 是 CompositeUnitOfMeasure 的 instance
(instance RichterMagnitude CompositeUnitOfMeasure)	Geography.kif 2343-2343	更大的规模 是 CompositeUnitOfMeasure 的 instance
(instance Siemens CompositeUnitOfMeasure)	Merge.kif 6960-6960	西门子 是 CompositeUnitOfMeasure 的 instance
(instance Sievert CompositeUnitOfMeasure)	Merge.kif 7065-7065	希沃特 是 CompositeUnitOfMeasure 的 instance
(instance Tesla CompositeUnitOfMeasure)	Merge.kif 6981-6981	特斯拉 是 CompositeUnitOfMeasure 的 instance
(instance Volt CompositeUnitOfMeasure)	Merge.kif 6926-6926	伏特 是 CompositeUnitOfMeasure 的 instance
(instance Watt CompositeUnitOfMeasure)	Merge.kif 6889-6889	瓦 是 CompositeUnitOfMeasure 的 instance
(instance Weber CompositeUnitOfMeasure)	Merge.kif 6971-6971	韦伯 是 CompositeUnitOfMeasure 的 instance
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)	Merge.kif 6223-6223	测量单位 详尽无遗地 partition 成 CompositeUnitOfMeasure 和 NonCompositeUnitOfMeasure
(subclass UnitOfArea CompositeUnitOfMeasure)	Merge.kif 6272-6272	UnitOfArea 是 CompositeUnitOfMeasure 的 subclass
(subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure)	Merge.kif 7848-7848	UnitOfAtmosphericPressure 是 CompositeUnitOfMeasure 的 subclass
(subclass UnitOfFrequency CompositeUnitOfMeasure)	Merge.kif 6840-6840	UnitOfFrequency 是 CompositeUnitOfMeasure 的 subclass
(subclass UnitOfVolume CompositeUnitOfMeasure)	Merge.kif 6283-6283	UnitOfVolume 是 CompositeUnitOfMeasure 的 subclass
(termFormat EnglishLanguage CompositeUnitOfMeasure "composite unit of measure")	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