Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Capillary
Capillary

appearance as argument number 1
-------------------------


(documentation Capillary EnglishLanguage "A very small BloodVessel that connects arterioles (very small Arteries) with venules (very small Veins).") Mid-level-ontology.kif 9549-9550
(externalImage Capillary "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Illu_capillary.jpg") pictureList.kif 4581-4581
(subclass Capillary BloodVessel) Mid-level-ontology.kif 9548-9548 subclass Capillary and BloodVessel

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Capillary "毛细管") domainEnglishFormat.kif 13009-13009
(termFormat ChineseTraditionalLanguage Capillary "毛細管") domainEnglishFormat.kif 13008-13008
(termFormat EnglishLanguage Capillary "capillary") domainEnglishFormat.kif 13007-13007

antecedent
-------------------------


(=>
    (instance ?C Capillary)
    (exists (?A ?V)
        (and
            (instance ?A Artery)
            (instance ?V Vein)
            (connects ?C ?A ?V))))
Mid-level-ontology.kif 9551-9557


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners