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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Breast
Breast

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


(documentation Breast EnglishLanguage "The paired Organs which are part of the chests of Primates.") Mid-level-ontology.kif 10499-10500
(externalImage Breast "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Breast_anatomy_normal_scheme.png") pictureList.kif 4564-4564
(subclass Breast AnimalAnatomicalStructure) Mid-level-ontology.kif 10497-10497 subclass Breast and AnimalAnatomicalStructure
(subclass Breast Organ) Mid-level-ontology.kif 10498-10498 subclass Breast and Organ

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


(termFormat ChineseLanguage Breast "乳房") domainEnglishFormat.kif 11843-11843
(termFormat ChineseTraditionalLanguage Breast "乳房") domainEnglishFormat.kif 11842-11842
(termFormat EnglishLanguage Breast "breast") domainEnglishFormat.kif 11841-11841

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


(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 10509-10514
(=>
    (instance ?B Breast)
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?B
                (FrontFn ?T)))))
Mid-level-ontology.kif 10501-10507


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