Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PulmonaryVein
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PulmonaryVein Vein) | Mid-level-ontology.kif 12643-12643 | Pulmonary vein is a subclass of vein |
| (documentation PulmonaryVein EnglishLanguage "A Vein that carries Blood from the Lungs to the Heart.") | Mid-level-ontology.kif 12644-12645 | Pulmonary vein is a subclass of vein |
| (externalImage PulmonaryVein "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Heart_and_lungs.jpg") | pictureList.kif 9571-9571 | Pulmonary vein is a subclass of vein |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H)))) |
Mid-level-ontology.kif 12647-12662 | If X is an instance of pulmonary 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 All of the following hold: (1) there exist W, V (2) U such that W is an instance of lung (3) Y originates at W (4) X is a part of U (5) W is a part of U (6) V is a part of U (7) V is an instance of heart (8) Y ends up at V |
|
