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 13313-13313
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 13312-13312	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 26961-26987	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 13315-13317	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 26961-26987	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 13303-13310	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 14558-14569	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 26955-26959	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