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
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5860-5861
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5858-5858 The number 1 argument of mixturePartType is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5859-5859 The number 2 argument of mixturePartType is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5857-5857 mixturePartType is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5862-5862

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5882-5882 CalciumChloride is a part of the mixture Hartmann's solution
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5883-5883 PotassiumChloride is a part of the mixture Hartmann's solution
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5881-5881 Salt is a part of the mixture Hartmann's solution
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5884-5884 SodiumLactate is a part of the mixture Hartmann's solution
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5885-5885 Water is a part of the mixture SodiumLactate


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