|
|
  Entity
|
|
|
| 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 12435-12437 | |
| (externalImage Artery "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Maxillary_artery.PNG") | pictureList.kif 4508-4508 | |
| (subclass Artery BloodVessel) | Mid-level-ontology.kif 12434-12434 | Artery は BloodVessel の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1985-1985 | suppliesBlood の数値 1 引数は Artery のsubclass では |
| 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 12439-12449 |
| 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 480-492 |
|
| (=> (instance ?C Capillary) (exists (?A ?V) (and (instance ?A Artery) (instance ?V Vein) (connects ?C ?A ?V)))) |
Mid-level-ontology.kif 12509-12515 |
|
|
|
