TreeView Knowledge Base Browser - FireAlarm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FireAlarm

FireAlarm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26441-26442
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26440-26440	FireAlarm 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 26443-26443

antecedent

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

Mid-level-ontology.kif 26445-26463

Objeto e' uma instancia de FireAlarm DeviceOn e' um atributo de Objeto Objeto e' situado em Objeto
Processo Processo e' uma instancia de Som Irradiante Objeto e' um instrumento para Processo Processo tem por fim Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Objeto Entidade sabe Entidade Entidade e' uma instancia de Fire eventLocated Entidade and 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