TreeView Knowledge Base Browser

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	O argumento numero 1 de bloodVolume e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5891-5891	O argumento numero 2 de bloodVolume e' uma instancia de Medida de Volume
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5889-5889	bloodVolume e' uma instancia de Predicado Binario

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	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal Entidade e' uma instancia de Mamifero Numero Real2 + 2.0 e' maior que Numero Real Numero Real2 e' menos que 0.8 + Numero Real SevereBloodLoss e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5950-5962	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal Entidade e' uma instancia de Mamifero Numero Real2 + 2.0 e' menos que Numero Real CatastrophicBloodLoss e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	typicalBloodVolume Mamifero and Numero Real Unidade de Medida(s) MamiferoI e' uma instancia de Mamifero Doenca ou Sindrome e' um atributo de Entidade bloodVolume Entidade and Numero Real2 Unidade de Medida(s) vale durante Posicao Temporal approximateValue Numero Real2 and Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	bloodVolume Humano and Medida de Volume Substancia Substancia e' uma instancia de Sangue Humano contem Substancia Humano e' uma instancia de Humano a medida de Substancia e' Medida de Volume Substancia2 Substancia2 e' uma instancia de Sangue Humano contem Substancia2 Substancia2 e' uma peca de Substancia

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 5915-5924

Humano e' uma instancia de HumanAdult a medida de Humano e' Numero Real Pounds(s)
bloodVolume Humano and Numero Real2 Liter(s) Numero Real2 e' igual a Numero Real + 0.07 + 2.33

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: