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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 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 11909-11909
(termFormat ChineseTraditionalLanguage Breast "乳房") domainEnglishFormat.kif 11908-11908
(termFormat EnglishLanguage Breast "breast") domainEnglishFormat.kif 11907-11907


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

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

Show without tree

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