TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PulmonaryArtery EnglishLanguage "An Artery that carries Blood from the Heart to a Lung.")	Mid-level-ontology.kif 11165-11166
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Gray556.png")	pictureList.kif 7688-7688
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Bronchial_anatomy.jpg")	pictureList.kif 6806-6806
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Lungs_anatomy.png")	pictureList.kif 7689-7689
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Illu_pulmonary_circuit.jpg")	pictureList.kif 7686-7686
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Gray1032.png")	pictureList.kif 7690-7690
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Gray490.png")	pictureList.kif 7691-7691
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Illu_bronchi_lungs.jpg")	pictureList.kif 7687-7687
(externalImage PulmonaryArtery "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Gray503.png")	pictureList.kif 7692-7692
(subclass PulmonaryArtery Artery)	Mid-level-ontology.kif 11164-11164	子類肺動脈 and 動脈

appearance as argument number 2

(termFormat ChineseLanguage PulmonaryArtery "肺动脉")	domainEnglishFormat.kif 48082-48082
(termFormat ChineseTraditionalLanguage PulmonaryArtery "肺動脈")	domainEnglishFormat.kif 48081-48081
(termFormat EnglishLanguage PulmonaryArtery "pulmonary artery")	domainEnglishFormat.kif 48080-48080

antecedent

(=>
    (and
        (instance ?ARTERY PulmonaryArtery)
        (instance ?TRANSFER Transfer)
        (patient ?TRANSFER ?BLOOD)
        (instrument ?TRANSFER ?ARTERY)
        (instance ?BLOOD Blood))
    (exists (?LUNG)
        (and
            (instance ?LUNG Lung)
            (destination ?TRANSFER ?LUNG))))

Mid-level-ontology.kif 11168-11178