Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Artery BloodVessel) | Mid-level-ontology.kif 12593-12593 | 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 12594-12596 | 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 |
|
|
| (relatedInternalConcept Vein Artery) | Mid-level-ontology.kif 12611-12611 | Vein is internally related to artery |
| (subclass PulmonaryArtery Artery) | Mid-level-ontology.kif 12627-12627 | Pulmonary artery is a subclass of artery |
| (subclass AscendingAorta Artery) | arteries.kif 5-5 | Ascending aorta is a subclass of artery |
| (subclass RightCoronaryArtery Artery) | arteries.kif 16-16 | Right coronary artery is a subclass of artery |
| (subclass PosteriorInterventricularArtery Artery) | arteries.kif 28-28 | Posterior interventricular artery is a subclass of artery |
| (subclass SANodalArtery Artery) | arteries.kif 34-34 | S a nodal artery is a subclass of artery |
| (subclass RightMarginalArtery Artery) | arteries.kif 40-40 | Right marginal artery is a subclass of artery |
| (subclass LeftCoronaryArtery Artery) | arteries.kif 48-48 | Left coronary artery is a subclass of artery |
| (subclass AnteriorInterventricularArtery Artery) | arteries.kif 63-63 | Anterior interventricular artery is a subclass of artery |
| (subclass AnteriorInterventricularSeptalArtery Artery) | arteries.kif 69-69 | Anterior interventricular septal artery is a subclass of artery |
| (subclass AnteriorInterventricularDiagonalArtery Artery) | arteries.kif 75-75 | Anterior interventricular diagonal artery is a subclass of artery |
| (subclass CircumflexArtery Artery) | arteries.kif 81-81 | Circumflex artery is a subclass of artery |
| (subclass LeftMarginalArtery Artery) | arteries.kif 93-93 | Left marginal artery is a subclass of artery |
| (subclass PosterolateralArtery Artery) | arteries.kif 101-101 | Posterolateral artery is a subclass of artery |
| (subclass RamusIntermedius Artery) | arteries.kif 107-107 | Ramus intermedius is a subclass of artery |
| (subclass AorticArch Artery) | arteries.kif 114-114 | Aortic arch is a subclass of artery |
| (subclass BrachiocephalicArtery Artery) | arteries.kif 124-124 | Brachiocephalic artery is a subclass of artery |
| (subclass CarotidArtery Artery) | arteries.kif 138-138 | Carotid artery is a subclass of artery |
| (subclass RightSubclavianArtery Artery) | arteries.kif 149-149 | Right subclavian artery is a subclass of artery |
| (subclass InternalCarotidArtery Artery) | arteries.kif 167-167 | Internal carotid artery is a subclass of artery |
| (subclass OphthalmicArtery Artery) | arteries.kif 174-174 | Ophthalmic artery is a subclass of artery |
| (subclass OrbitalGroupArtery Artery) | arteries.kif 180-180 | Orbital group artery is a subclass of artery |
| (subclass OcularGroupArtery Artery) | arteries.kif 297-297 | Ocular group artery is a subclass of artery |
| (subclass CerebralArtery Artery) | arteries.kif 339-339 | Cerebral artery is a subclass of artery |
| (subclass AnterolateralCentralArtery Artery) | arteries.kif 357-357 | Anterolateral central artery is a subclass of artery |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass suppliesBlood 1 Artery) | Anatomy.kif 1973-1973 | 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 12598-12608 | 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 12668-12674 | 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 81-95 | 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 |
|
