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