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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Breast

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

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 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