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	The number 1 argument of bloodVolume is an instance of human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5891-5891	The number 2 argument of bloodVolume is an instance of volume measure
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5889-5889	bloodVolume is an instance of binary predicate

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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is greater than the real number and the real number2 is less than 0.8 and the real number, then severe blood loss is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5950-5962	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is less than the real number, then catastrophic blood loss is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5933-5944	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and a kind of mammalI is an instance of the kind of mammal and disease or syndrome is not an attribute of another entity and the other entity has the real number2 the unit of measure(s) of blood holds during a time position, then the approximate value of the real number2 is the real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	If a human has a volume measure of blood, then there exists a substance such that the substance is an instance of blood and the human contains the substance and the human is an instance of human and the measure of the substance is the volume measure and there doesn't exist the substance2 such that the substance2 is an instance of blood and the human contains the substance2 and the substance2 is not a piece of the substance

consequent

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

Medicine.kif 5915-5924

If a human is an instance of human adult and the measure of the human is a real number Pounds(s),
then the human has the real number2 liter(s) of blood and the real number2 is equal to the real number and 0.07 and 2.33

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

KB Term:			Term intersection

English Word: