BloodCirculation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BloodCirculation EnglishLanguage "The LiquidMotion of Blood through the Veins and Arteries of an Animal. The Motion is caused by the Heart. Note that this is disjoint from non-circulatory motion of blood such as Bleeding from an Injury.")	Medicine.kif 474-477
(subclass BloodCirculation LiquidMotion)	Medicine.kif 473-473	Blood circulation is a subclass of liquid motion

appearance as argument number 2

(termFormat EnglishLanguage BloodCirculation "blood circulation")

Medicine.kif 478-478

antecedent

(=>
    (instance ?BC BloodCirculation)
    (exists (?O ?V ?A ?B)
        (and
            (instance ?O Animal)
            (instance ?B Blood)
            (moves ?BC ?B)
            (instance ?A Artery)
            (instance ?V Vein)
            (part ?A ?O)
            (part ?V ?O)
            (path ?BC ?A)
            (path ?BC ?V))))

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

KB Term:			Term intersection

English Word: