Sternum - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sternum

Sternum(sternum)

breastbone, sternum

appearance as argument number 1

(documentation Sternum EnglishLanguage "sternum")	Anatomy.kif 253-253
(subclass Sternum ThoraxBone)	Anatomy.kif 251-251	Sternum is a subclass of thorax bone

appearance as argument number 2

(connectedBodyPartTypes XyphiodProcess Sternum Human)	Anatomy.kif 268-268	connectedBodyPartTypes sternum, sternum and human
(termFormat EnglishLanguage Sternum "sternum")	Anatomy.kif 252-252	connectedBodyPartTypes sternum, sternum and human

consequent

(=> (and (instance ?R FalseRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (not (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R)))))	Anatomy.kif 505-517	If an object is an instance of costae spuriae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there doesn't exist a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the object
(=> (and (instance ?R TrueRibBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S Sternum) (part ?S ?H) (connected ?S ?R))))	Anatomy.kif 492-503	If an object is an instance of costae verae and the object is a part of another object and the other object is an instance of human and disease or syndrome is not an attribute of the other object, then there exists a third object such that the third object is an instance of sternum and the third object is a part of the other object and the third object is connected to the 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