VideoDisplay - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - VideoDisplay

VideoDisplay

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26296-26297
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26295-26295	VideoDisplay e' uma sub-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 484-484	TouchScreen e' uma sub-classe de VideoDisplay
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26298-26298

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27006-27032	Fisico e' uma instancia de SurveillanceSystem Fisico e' membro de Colecao Fisico e' membro de Colecao Colecao e' situado em Objeto Colecao e' uma instancia de Camera Colecao e' situado em Objeto Objeto e' igual a Objeto Colecao e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Objeto Entidade define Entidade Camera e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Luz Irradiante Colecao e' um instrumento para Entidade Entidade e' um patient de Entidade o comeco de Entidade comeca antes de o comeco de Entidade o comeco de Entidade comeca antes de o comeco de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26300-26308	Fisico e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Luz Irradiante Entidade e' uma instancia de VideoRecording Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2224-2229	Processo e' uma instancia de VideoCheckOut Objeto Objeto e' uma instancia de VideoDisplay Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Communications.kif 404-411	Objeto e' uma instancia de TelevisionSet Objeto Objeto Objeto e' uma instancia de TelevisionReceiver Objeto e' uma instancia de VideoDisplay Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27000-27004	Colecao e' uma instancia de SurveillanceSystem memberType Colecao and Camera memberType Colecao and VideoDisplay
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	propertyAmenity AutonomousAgent and VideoCheckOut Objeto Objeto Objeto e' uma instancia de VideoDisplay Objeto e' capaz de fazer VideoCheckOut no role instrument Objeto e' situado em Objeto Objeto e' uma instancia de AutonomousAgent

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