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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11480-11480
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 11479-11479	Skull e' uma sub-classe de Colecao

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 11498-11507	Objeto e' uma instancia de Vertebrado Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto Colecao e' uma instancia de Skull Healthy e' um atributo de Objeto Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11482-11484	Colecao e' uma instancia de Skull memberType Colecao and Osso

consequent

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

Mid-level-ontology.kif 11486-11496

Objeto e' uma instancia de Vertebrado Objeto e' uma instancia de Head Objeto e' uma &parte de Objeto Healthy e' um atributo de Objeto
Colecao Objeto Colecao e' uma instancia de Skull Objeto e' membro de Colecao Objeto e' uma &parte de Objeto

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