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

appearance as argument number 2

(subclass Bust Breast)	Mid-level-ontology.kif 14205-14205	Bust is a subclass of breast
(termFormat ChineseLanguage Breast "乳房")	domainEnglishFormat.kif 11912-11912	Bust is a subclass of breast
(termFormat ChineseTraditionalLanguage Breast "乳房")	domainEnglishFormat.kif 11911-11911	Bust is a subclass of breast
(termFormat EnglishLanguage Breast "breast")	domainEnglishFormat.kif 11910-11910	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 14197-14203	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 14208-14212	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 14190-14195	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 14182-14188	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