| appearance as argument number 1 |
|
|
| (subclass Artery BloodVessel) | Mid-level-ontology.kif 12496-12496 | Artery is a subclass of blood vessel |
| (documentation Artery EnglishLanguage "Any BloodVessel which transfers Blood from the Heart to the extremities of the body. Note that there can be some variability between members of the same species in the branching of some particular arteries they have.") | Mid-level-ontology.kif 12497-12499 | Artery is a subclass of blood vessel |
| (externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") | pictureList.kif 4508-4508 | Artery is a subclass of blood vessel |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1984-1984 | The number 1 argument of supplies blood is a subclass of artery |
| antecedent |
|
|
| (=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART)))) |
Mid-level-ontology.kif 12501-12511 | If X is an instance of artery, Y is an instance of transfer, Z is a patient of Y, X is an instrument for Y, and Z is an instance of blood, then there exists W such that W is an instance of heart and Y originates at W |
| consequent |
|
|
| (=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 12571-12577 | If X is an instance of capillary, then there exist Y, Z such that Y is an instance of artery, Z is an instance of vein, X connects Y, and Z |
| (=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA)))) |
Medicine.kif 80-94 | If X is an instance of bleeding and Y experiences X, then there exist Z, W such that Z is an instance of vein or Z is an instance of artery, Z is a part of Y, W is an instance of damaging, the time of existence of W happens earlier than the time of existence of X, and Z is a patient of W |
| (=> (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 |
|
|
|