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 12291-12292
(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 12289-12289
(subclass Breast Organ) Mid-level-ontology.kif 12290-12290

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


(subclass Bust Breast) Mid-level-ontology.kif 12317-12317
(termFormat ChineseLanguage Breast "乳房") domainEnglishFormat.kif 11900-11900
(termFormat ChineseTraditionalLanguage Breast "乳房") domainEnglishFormat.kif 11899-11899
(termFormat EnglishLanguage Breast "breast") domainEnglishFormat.kif 11898-11898

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


(=>
    (and
        (instance ?B Breast)
        (instance ?H Human)
        (part ?B ?H))
    (part ?B
        (FrontFn ?H)))
Mid-level-ontology.kif 12309-12315
(=>
    (and
        (instance ?B Breast)
        (part ?B ?H))
    (attribute ?B Female))
Mid-level-ontology.kif 12320-12324
(=>
    (instance ?B Breast)
    (exists (?P)
        (and
            (instance ?P Primate)
            (part ?B ?P))))
Mid-level-ontology.kif 12302-12307
(=>
    (instance ?B Breast)
    (exists (?T)
        (and
            (instance ?T Torso)
            (part ?B
                (FrontFn ?T)))))
Mid-level-ontology.kif 12294-12300


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