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(camera)

Polaroid_Land_camera, Polaroid_camera, box_Kodak, box_camera, camcorder, camera, candid_camera, cine-camera, digital_camera, flash_camera, motion-picture_camera, movie_camera, photographic_camera, point-and-shoot_camera, portrait_camera, reflex_camera, television_camera, tv_camera, webcam

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14653-14653
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 14652-14652	Camera is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 556-556	Video camera is a subclass of camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12820-12820	Video camera is a subclass of camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12819-12819	Video camera is a subclass of camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12818-12818	Video camera is a subclass of camera

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28872-28898	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and equal the object and the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14655-14657	If an object is an instance of camera, then the object is capable of doing photographing as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28872-28898	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and equal the object and the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14643-14650	If a process is an instance of photographing, then there exist an entity and an object such that the entity is an instance of photograph and the entity is a result of the process and the object is an instrument for the process and the object is an instance of camera
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15930-15941	If a process is an instance of motion picture shot, then there exists an object such that the object is an instance of camera and the object is an instrument for the process and there doesn't exist the object2 such that the object2 is an instance of camera and equal the object and the object2 and the object2 is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28866-28870	If a collection is an instance of surveillance system, then camera is a member type of the collection and video display is a member type of the collection

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