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

appearance as argument number 2

(subclass Bust Breast)	Mid-level-ontology.kif 13752-13752	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 13744-13750	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 13755-13759	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 13737-13742	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 13729-13735	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