KnockLight - Sigma Knowledge base Browser

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 25850-25851
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25849-25849	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 25852-25852

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25873-25885	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 25854-25871	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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