Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  substanceElement

 Sigma KEE - substanceElement
substanceElement

appearance as argument number 1
-------------------------


(documentation substanceElement EnglishLanguage "A relation from a kind of Substance to the CorpuscularObjects that make up the substance. For example, the substance Blood has elements RedBloodCell, WhiteBloodCell etc.") Merge.kif 1244-1247
(domainSubclass substanceElement 1 CorpuscularObject) Merge.kif 1242-1242 O argumento numero 1 de substanceElement e' uma sub-classe de Objeto Corpuscular
(domainSubclass substanceElement 2 Substance) Merge.kif 1243-1243 O argumento numero 2 de substanceElement e' uma sub-classe de Substancia
(instance substanceElement BinaryPredicate) Merge.kif 1241-1241 substanceElement e' uma instancia de Predicado Binario

appearance as argument number 2
-------------------------


(format EnglishLanguage substanceElement "%2 is made up of %1") Merge.kif 1248-1248
(termFormat EnglishLanguage substanceElement "substance element") Merge.kif 1249-1249


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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