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 Vein BloodVessel) | Mid-level-ontology.kif 12610-12610 | Vein is a subclass of blood vessel |
| (relatedInternalConcept Vein Artery) | Mid-level-ontology.kif 12611-12611 | Vein is internally related to artery |
| (documentation Vein EnglishLanguage "Any BloodVessel which transfers Blood from the extremities of the body to the Heart.") | Mid-level-ontology.kif 12612-12613 | Vein is internally related to artery |
| (externalImage Vein "http://upload.wikimedia.org/wikipedia/commons/5/51/ Great_saphenous_vein.png") | pictureList.kif 4844-4844 | Vein is internally related to artery |
| appearance as argument number 2 |
|
|
| (subclass PulmonaryVein Vein) | Mid-level-ontology.kif 12643-12643 | Pulmonary vein is a subclass of vein |
| (termFormat EnglishLanguage Vein "vein") | domainEnglishFormat.kif 61437-61437 | Pulmonary vein is a subclass of vein |
| (termFormat ChineseTraditionalLanguage Vein "靜脈") | domainEnglishFormat.kif 61438-61438 | Pulmonary vein is a subclass of vein |
| (termFormat ChineseLanguage Vein "静脉") | domainEnglishFormat.kif 61439-61439 | Pulmonary vein is a subclass of vein |
| antecedent |
|
|
| (=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H)))) |
Mid-level-ontology.kif 12615-12625 | If X is an instance of vein, 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 ends up 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 |
| (=> (instance ?IVT IVTherapy) (exists (?V ?T) (and (instance ?T IVLine) (path ?IVT ?T) (instance ?V Vein) (destination ?IVT ?V)))) |
Medicine.kif 1059-1066 | If X is an instance of IV Therapy, then there exist Y, Z such that Z is an instance of IV Line, Z is path along which X occurs, Y is an instance of vein, and X ends up at Y |
|
