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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10923-10925

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25170-25196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10911-10918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12304-12315
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25164-25168


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