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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RingersLactate

 Sigma KEE - RingersLactate
RingersLactate

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5837-5842
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5836 RingersLactate 是 混合物 的 subclass

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


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 盐 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 5848-5848
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5847-5847
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5845-5845
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5844-5844
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5846-5846

antecedent
-------------------------


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


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