Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BloodCirculation
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BloodCirculation LiquidMotion) | Medicine.kif 460-460 | Blood circulation is a subclass of liquid motion |
| (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 461-464 | Blood circulation is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BloodCirculation "blood circulation") | Medicine.kif 465-465 |
| 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 467-479 | If X is an instance of blood circulation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of animal (3) V is an instance of blood (4) V moves during X (5) W is an instance of artery (6) Z is an instance of vein (7) W is a part of Y (8) Z is a part of Y (9) W is path along which X occurs (10) Z is path along which X occurs |
|