| Artery
| |
| appearance as argument number 1 |
|
|
| (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 11322-11324 | |
| (externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") | pictureList.kif 4508-4508 | |
| (subclass Artery BloodVessel) | Mid-level-ontology.kif 11321-11321 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1944-1944 |
| 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 11326-11336 |
| consequent |
|
|
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 11396-11402 |
|
|
|