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

appearance as argument number 2

(subclass Bust Breast)	Mid-level-ontology.kif 14187-14187	Bust is a subclass of breast
(termFormat ChineseLanguage Breast "乳房")	domainEnglishFormat.kif 11906-11906	Bust is a subclass of breast
(termFormat ChineseTraditionalLanguage Breast "乳房")	domainEnglishFormat.kif 11905-11905	Bust is a subclass of breast
(termFormat EnglishLanguage Breast "breast")	domainEnglishFormat.kif 11904-11904	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 14179-14185	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 14190-14194	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 14172-14177	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 14164-14170	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