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 mixturePartType 的 1 数量 是 物质 的 subclass
(domainSubclass mixturePartType 2 Mixture) Medicine.kif 5859-5859 mixturePartType 的 2 数量 是 混合物 的 subclass
(instance mixturePartType BinaryPredicate) Medicine.kif 5857-5857 mixturePartType 是 二元谓语 的 instance

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