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
-------------------------


(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 485-488
(subclass BloodCirculation LiquidMotion) Medicine.kif 484-484 Blood circulation is a subclass of liquid motion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage BloodCirculation "blood circulation") Medicine.kif 489-489

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 491-503


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