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 Le nombre 1 argument de mixturePartType est une sous-classe de substance
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5859-5859 Le nombre 2 argument de mixturePartType est une sous-classe de mixture
(instance mixturePartType BinaryPredicate) Medicine.kif 5857-5857 mixturePartType est une instance de pr�dicat binaire

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