Camera - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Camera

Camera

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13341-13341
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 315-315
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 58-58
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13340-13340	Camera e' uma sub-classe de Aparelho

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 556-556	VideoCamera e' uma sub-classe de Camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12811-12811
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12810-12810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12809-12809

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 13343-13345	Objeto e' uma instancia de Camera Objeto e' capaz de fazer Photographing no role instrument

consequent

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 13331-13338	Processo e' uma instancia de Photographing Entidade Objeto Entidade e' uma instancia de Photograph Entidade e' o resultado de Processo Objeto e' um instrumento para Processo Objeto e' uma instancia de Camera
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14586-14597	Processo e' uma instancia de MotionPictureShot Objeto Objeto e' uma instancia de Camera Objeto e' um instrumento para Processo Objeto2 Objeto2 e' uma instancia de Camera Objeto e' igual a Objeto2 Objeto2 e' um instrumento para Processo
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

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