![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation PulmonaryVein EnglishLanguage "A Vein that carries Blood from the Lungs to the Heart.") | Mid-level-ontology.kif 12485-12486 | |
(externalImage PulmonaryVein "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Heart_and_lungs.jpg") | pictureList.kif 9571-9571 | |
(subclass PulmonaryVein Vein) | Mid-level-ontology.kif 12484-12484 | PulmonaryVein は Vein の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage PulmonaryVein "肺静脉") | domainEnglishFormat.kif 48088-48088 | |
(termFormat ChineseTraditionalLanguage PulmonaryVein "肺靜脈") | domainEnglishFormat.kif 48087-48087 | |
(termFormat EnglishLanguage PulmonaryVein "pulmonary vein") | domainEnglishFormat.kif 48086-48086 |
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 12488-12503 |
|
![]() |
![]() |