TreeView Knowledge Base Browser - Skull

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Skull

Skull(skull)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11481-11481
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 733-733
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480	Skull is a subclass of collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53342-53342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53341-53341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53340-53340

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11499-11508	If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and a collection is an instance of skull and healthy is an attribute of the object and a third object is a member of the collection and the third object is a part of the object, then the third object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11483-11485	If a collection is an instance of skull, then bone is a member type of the collection

consequent

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

Mid-level-ontology.kif 11487-11497

If an object is an instance of vertebrate and another object is an instance of head and the other object is a part of the object and healthy is an attribute of the object,
then there exist a collection and a third object such that the collection is an instance of skull and the third object is a member of the collection and the third object is a part of the other object

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