TreeView Knowledge Base Browser - FalseRibBone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FalseRibBone

FalseRibBone(costae spuriae)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 401-404

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 411-411	Floating rib is a subclass of costae spuriae
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 407-407	Vertebrochondral rib bone is a subclass of costae spuriae
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 405-405

antecedent

No TPTP formula. May not be expressible in strict first order.

Anatomy.kif 505-517

If a kind of body part is an instance of costae spuriae and a kind of body part is a part of an object and the object is an instance of human and disease or syndrome is not an attribute of the object,
then there doesn't exist another kind of body part such that another kind of body part is an instance of sternum and the other kind of body part is a part of the object and a the other kind of body part is connected to a the kind of body part

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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