BloodCirculation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BloodCirculation

BloodCirculation(blood circulation)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 474-477
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 473-473	Blood circulation is a subclass of liquid motion

appearance as argument number 2

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

Medicine.kif 478-478

antecedent

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

Medicine.kif 480-492

If a motion is an instance of blood circulation,
then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs

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

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