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 10921-10921
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 58-58	"http://upload.wikimedia.org/wikipedia/commons/1/11/ Canon_Digital_Ixus_430.jpg" is a URL depicting camera
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 315-315	"http://www.adampease.org/Articulate/SUMOpictures/pictures/ camera/ camera.png" is a URL depicting camera
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10920-10920	Camera is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 504-504	VideoCamera is a subclass of camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12757-12757	"相机" is the printable form of camera in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12756-12756	"相機" is the printable form of camera in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12755-12755	"camera" is the printable form of camera in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25170-25196	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object 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 2 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 10923-10925	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 25170-25196	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object 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 2 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 10911-10918	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 12304-12315	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 the object is not equal to 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 25164-25168	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners