RibCage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RibCage

RibCage(rib cage)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12589-12590
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12588-12588	Rib cage is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12613-12613	A chest typically has a part rib cage

appearance as argument number 2

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

domainEnglishFormat.kif 65436-65436

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12596-12611	If a self connected object is an instance of rib cage and the self connected object is a part of an object and the object is an instance of human and living is an attribute of the object and ~{ a physical is an instance of pathologic process } or ~{ the physical is located at the object }, then there exist the objectT and a third object such that the objectT is an instance of heart and the objectT is an instance of lung and the self connected object contains the third object and the self connected object contains the objectT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12592-12594	If a collection is an instance of rib cage, then rib bone is a member type of the collection

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