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

Formal Language: 



Term 1: Term 2:

(subclass ConstantQuantity PhysicalQuantity) Merge.kif 2045-2045 Quantidade Constante e' uma sub-classe de Quantidade Fisica
(subclass waveHeight ConstantQuantity) Weather.kif 1417-1417 waveHeight e' uma sub-classe de Quantidade Constante
(subclass RadiationMeasure ConstantQuantity) MilitaryProcesses.kif 849-849 RadiationMeasure e' uma sub-classe de Quantidade Constante
(subclass TimeMeasure ConstantQuantity) Merge.kif 2067-2067 Medida Temporal e' uma sub-classe de Quantidade Constante
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6216-6216 NonCompositeUnitOfMeasure e' uma sub-classe de Quantidade Constante
(subclass LengthMeasure ConstantQuantity) Merge.kif 6242-6242 Medida de Comprimento e' uma sub-classe de Quantidade Constante
(subclass MassMeasure ConstantQuantity) Merge.kif 6253-6253 Medida de Massa e' uma sub-classe de Quantidade Constante
(subclass TemperatureMeasure ConstantQuantity) Merge.kif 6289-6289 Medida de Temperatura e' uma sub-classe de Quantidade Constante
(subclass CurrencyMeasure ConstantQuantity) Merge.kif 6301-6301 Medida de Divisa e' uma sub-classe de Quantidade Constante
(subclass AngleMeasure ConstantQuantity) Merge.kif 6313-6313 Medida de Angulo e' uma sub-classe de Quantidade Constante
(subclass InformationMeasure ConstantQuantity) Merge.kif 7411-7411 Medida de Informacao e' uma sub-classe de Quantidade Constante


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