Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2045-2045 ConstantQuantity ist eine teilkategorie von PhysicalQuantity
(subclass waveHeight ConstantQuantity) Weather.kif 1417-1417 waveHeight ist eine teilkategorie von ConstantQuantity
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure ist eine teilkategorie von ConstantQuantity
(subclass TimeMeasure ConstantQuantity) Merge.kif 2067-2067 TimeMeasure ist eine teilkategorie von ConstantQuantity
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure ist eine teilkategorie von ConstantQuantity
(subclass LengthMeasure ConstantQuantity) Merge.kif 6242-6242 LengthMeasure ist eine teilkategorie von ConstantQuantity
(subclass MassMeasure ConstantQuantity) Merge.kif 6253-6253 MassMeasure ist eine teilkategorie von ConstantQuantity
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6289-6289 TemperatureMeasure ist eine teilkategorie von ConstantQuantity
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6301-6301 CurrencyMeasure ist eine teilkategorie von ConstantQuantity
(subclass AngleMeasure ConstantQuantity) Merge.kif 6313-6313 AngleMeasure ist eine teilkategorie von ConstantQuantity
(subclass InformationMeasure ConstantQuantity) Merge.kif 7411-7411 InformationMeasure ist eine teilkategorie von ConstantQuantity


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