Capillary - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Capillary BloodVessel)	Mid-level-ontology.kif 12664-12664	Capillary is a subclass of blood vessel
(documentation Capillary EnglishLanguage "A very small BloodVessel that connects arterioles (very small Arteries) with venules (very small Veins).")	Mid-level-ontology.kif 12665-12666	Capillary is a subclass of blood vessel
(externalImage Capillary "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Illu_capillary.jpg")	pictureList.kif 4579-4579	Capillary is a subclass of blood vessel

appearance as argument number 2

(termFormat EnglishLanguage Capillary "capillary")	domainEnglishFormat.kif 13080-13080
(termFormat ChineseTraditionalLanguage Capillary "毛細管")	domainEnglishFormat.kif 13081-13081
(termFormat ChineseLanguage Capillary "毛细管")	domainEnglishFormat.kif 13082-13082

antecedent

(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))

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