(instance Rad CompositeUnitOfMeasure)	MilitaryProcesses.kif 854-854	Rad は CompositeUnitOfMeasure の instance では %n
(instance RevolutionsPerMinute CompositeUnitOfMeasure)	Cars.kif 2094-2094	RevolutionsPerMinute は CompositeUnitOfMeasure の instance では %n
(instance RichterMagnitude CompositeUnitOfMeasure)	Geography.kif 2343-2343	RichterMagnitude は CompositeUnitOfMeasure の instance では %n
(instance Siemens CompositeUnitOfMeasure)	Merge.kif 6960-6960	Siemens は CompositeUnitOfMeasure の instance では %n
(instance Sievert CompositeUnitOfMeasure)	Merge.kif 7065-7065	Sievert は CompositeUnitOfMeasure の instance では %n
(instance Tesla CompositeUnitOfMeasure)	Merge.kif 6981-6981	Tesla は CompositeUnitOfMeasure の instance では %n
(instance Volt CompositeUnitOfMeasure)	Merge.kif 6926-6926	Volt は CompositeUnitOfMeasure の instance では %n
(instance Watt CompositeUnitOfMeasure)	Merge.kif 6889-6889	Watt は CompositeUnitOfMeasure の instance では %n
(instance Weber CompositeUnitOfMeasure)	Merge.kif 6971-6971	Weber は CompositeUnitOfMeasure の instance では %n
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)	Merge.kif 6223-6223	測定単位 は CompositeUnitOfMeasure + NonCompositeUnitOfMeasure に exhaustively partitioned %n
(subclass UnitOfArea CompositeUnitOfMeasure)	Merge.kif 6272-6272	UnitOfArea は CompositeUnitOfMeasure の subclass では %n
(subclass UnitOfAtmosphericPressure CompositeUnitOfMeasure)	Merge.kif 7826-7826	UnitOfAtmosphericPressure は CompositeUnitOfMeasure の subclass では %n
(subclass UnitOfFrequency CompositeUnitOfMeasure)	Merge.kif 6840-6840	UnitOfFrequency は CompositeUnitOfMeasure の subclass では %n
(subclass UnitOfVolume CompositeUnitOfMeasure)	Merge.kif 6283-6283	UnitOfVolume は CompositeUnitOfMeasure の subclass では %n
(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