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

Formal Language: 



KB Term:  Term intersection
English Word: 

  bloodVolume

 Sigma KEE - bloodVolume
bloodVolume

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5892-5894
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5890-5890 Le nombre 1 argument de bloodVolume est une instance de humain
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5891-5891 Le nombre 2 argument de bloodVolume est une instance de mesure de volume
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5889-5889 bloodVolume 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 5895-5895

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5968-5982
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5950-5962
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5933-5944
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5897-5912

consequent
-------------------------


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


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