TreeView Knowledge Base Browser - WindowCovering

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WindowCovering

WindowCovering

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15240-15242
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9839-9839
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9841-9841
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9840-9840
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9837-9837
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9838-9838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8803-8803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9834-9834
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9836-9836
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15239-15239	WindowCovering e' uma sub-classe de Artefato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15193-15193	Curtain e' uma sub-classe de WindowCovering
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63125-63125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63124-63124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63123-63123

antecedent

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

Mid-level-ontology.kif 15244-15252

Fisico e' uma instancia de WindowCovering
Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Cobrir Entidade e' um patient de Entidade Entidade e' uma instancia de Window Fisico e' um instrumento para Entidade

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