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

appearance as argument number 2

(subclass Bust Breast)	Mid-level-ontology.kif 12883-12883	Bust is a subclass of breast
(termFormat ChineseLanguage Breast "乳房")	domainEnglishFormat.kif 11897-11897
(termFormat ChineseTraditionalLanguage Breast "乳房")	domainEnglishFormat.kif 11896-11896
(termFormat EnglishLanguage Breast "breast")	domainEnglishFormat.kif 11895-11895

antecedent

(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H)))	Mid-level-ontology.kif 12875-12881	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 12886-12890	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 12868-12873	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 12860-12866	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