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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Breast
Breast(breast)
breast, chest

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 Breast is a subclass of animal anatomical structure
(subclass Breast Organ) Mid-level-ontology.kif 12290-12290 Breast is a subclass of organ

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


(subclass Bust Breast) Mid-level-ontology.kif 12317-12317 Bust is a subclass of breast
(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 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