TreeView Knowledge Base Browser - Sandal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Sandal

Sandal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5200-5202
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10241-10241
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5204-5204	Sandal e' uma sub-classe de Shoe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51065-51065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51064-51064
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51063-51063

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5206-5226	Objeto auto-conectado e' uma instancia de Sandal Buraco Buraco Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Buraco e' igual a Buraco Buraco tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Dressing Entidade e' uma instancia de Foot Entidade e' um agente de Entidade Entidade e' uma &parte de Entidade Entidade e' um sub-processo de Entidade Entidade e' uma instancia de Inserting Entidade e' um patient de Entidade Entidade termina em Buraco
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5228-5234	Objeto e' uma instancia de Sandal ObjetoOLE ObjetoOLE e' uma instancia de ShoeSole ObjetoOLE e' uma &parte de Objeto Flat e' um atributo de ObjetoOLE

consequent

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

ArabicCulture.kif 151-163

Animal e' uma instancia de IhramClothing Animal usa WearableItem Male e' um atributo de WearableItem
Fisico Fisico and Fisico Fisico e' uma instancia de Cloak Fisico e' uma instancia de Belt Fisico e' uma instancia de Sandal Fisico e' membro de Animal Fisico e' membro de Animal Fisico e' membro de Animal

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