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 9569-9570
(externalImage Capillary "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Illu_capillary.jpg") pictureList.kif 4581-4581 externalImage Capillary and "http://upload.wikimedia.org/wikipedia/commons/d/da/ Illu_capillary.jpg"
(subclass Capillary BloodVessel) Mid-level-ontology.kif 9568-9568 subclass Capillary and BloodVessel

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


(termFormat ChineseLanguage Capillary "毛细管") domainEnglishFormat.kif 13015-13015 termFormat ChineseLanguage, Capillary and "毛细管"
(termFormat ChineseTraditionalLanguage Capillary "毛細管") domainEnglishFormat.kif 13014-13014 termFormat ChineseTraditionalLanguage, Capillary and "毛細管"
(termFormat EnglishLanguage Capillary "capillary") domainEnglishFormat.kif 13013-13013 termFormat EnglishLanguage, Capillary and "capillary"

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners