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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mixturePartType

 Sigma KEE - mixturePartType
mixturePartType

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


(documentation mixturePartType EnglishLanguage "The relation states that the given class of Substance is part of the given class of Mixture.") Medicine.kif 5860-5861
(domainSubclass mixturePartType 1 Substance) Medicine.kif 5858-5858 O argumento numero 1 de mixturePartType e' uma sub-classe de Substancia
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5859-5859 O argumento numero 2 de mixturePartType e' uma sub-classe de Mistura
(instance mixturePartType BinaryPredicate) Medicine.kif 5857-5857 mixturePartType e' uma instancia de Predicado Binario

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


(format EnglishLanguage mixturePartType "%1 is a part of the mixture %2") Medicine.kif 5862-5862

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