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

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


(termFormat ChineseLanguage Capillary "毛细管") domainEnglishFormat.kif 13018-13018
(termFormat ChineseTraditionalLanguage Capillary "毛細管") domainEnglishFormat.kif 13017-13017
(termFormat EnglishLanguage Capillary "capillary") domainEnglishFormat.kif 13016-13016

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


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


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