TreeView Knowledge Base Browser - KnockLight

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - KnockLight

KnockLight

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25805-25806
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25804-25804	KnockLight e' uma sub-classe de Aparelho

appearance as argument number 2

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

Mid-level-ontology.kif 25807-25807

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25828-25840	Objeto e' uma instancia de KnockLight AutonomousAgent e' uma instancia de Humano Deaf e' um atributo de AutonomousAgent AutonomousAgent usa Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Door AutonomousAgent sabe Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight 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