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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 584-584	VideoCamera is a subclass of camera
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12751-12751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12750-12750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12749-12749

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25207-25233	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 10949-10951	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 25207-25233	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 10937-10944	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 12330-12341	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 25201-25205	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