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