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 Le nombre 1 argument de mixturePartType est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5859-5859 Le nombre 2 argument de mixturePartType est une sous-classe de mixture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5857-5857 mixturePartType est une instance de pr�dicat binaire

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 mixturePartType CalciumChloride and RingersLactate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5883-5883 mixturePartType PotassiumChloride and RingersLactate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5881-5881 mixturePartType SodiumChloride and RingersLactate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5884-5884 mixturePartType SodiumLactate and RingersLactate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5885-5885 mixturePartType eau and 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