Breast - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Breast

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 13048-13049
(externalImage Breast "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Breast_anatomy_normal_scheme.png")	pictureList.kif 4563-4563
(subclass Breast AnimalAnatomicalStructure)	Mid-level-ontology.kif 13046-13046	Breast is a subclass of animal anatomical structure
(subclass Breast Organ)	Mid-level-ontology.kif 13047-13047	Breast is a subclass of organ

appearance as argument number 2

(subclass Bust Breast)	Mid-level-ontology.kif 13074-13074	Bust is a subclass of breast
(termFormat ChineseLanguage Breast "乳房")	domainEnglishFormat.kif 11913-11913	Bust is a subclass of breast
(termFormat ChineseTraditionalLanguage Breast "乳房")	domainEnglishFormat.kif 11912-11912	Bust is a subclass of breast
(termFormat EnglishLanguage Breast "breast")	domainEnglishFormat.kif 11911-11911	Bust is a subclass of breast

antecedent

(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H)))	Mid-level-ontology.kif 13066-13072	If an object is an instance of breast and a self connected object is an instance of human and the object is a part of the self connected object, then the object is a part of the front of the self connected object
(=> (and (instance ?B Breast) (part ?B ?H)) (attribute ?B Female))	Mid-level-ontology.kif 13077-13081	If an object is an instance of breast and the object is a part of another object, then female is an attribute of the object
(=> (instance ?B Breast) (exists (?P) (and (instance ?P Primate) (part ?B ?P))))	Mid-level-ontology.kif 13059-13064	If an object is an instance of breast, then there exists another object such that the other object is an instance of primate and the object is a part of the other object
(=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T)))))	Mid-level-ontology.kif 13051-13057	If an object is an instance of breast, then there exists a self connected object such that the self connected object is an instance of torso and the object is a part of the front of the self connected object

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