Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CameraProgram
CameraProgram(camera)camera, カメラ, 照相机, 照相機

appearance as argument number 1
-------------------------


(documentation CameraProgram ChineseLanguage "A ComputerProgram 它允许使用者编辑图片 和/ 或是 影像。") ComputingBrands.kif 2313-2313
(documentation CameraProgram ChineseTraditionalLanguage "一个 ComputerProgram 它允許使用者編輯圖片 和/ 或是 影像。") ComputingBrands.kif 2312-2312
(documentation CameraProgram EnglishLanguage "A ComputerProgram that allows users to manipulate images and/ or videos.") ComputingBrands.kif 2310-2311
(documentation CameraProgram JapaneseLanguage "ユーザーが画像やビデオを操作できる ComputerProgram。") ComputingBrands.kif 2314-2315
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2309-2309 Camera is a subclass of computer program

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CameraProgram "照相机") ComputingBrands.kif 2319-2319 "照相机" is the printable form of camera in ChineseLanguage
(termFormat ChineseTraditionalLanguage CameraProgram "照相機") ComputingBrands.kif 2318-2318 "照相機" is the printable form of camera in ChineseTraditionalLanguage
(termFormat EnglishLanguage CameraProgram "camera") ComputingBrands.kif 2317-2317 "camera" is the printable form of camera in english language
(termFormat JapaneseLanguage CameraProgram "カメラ") ComputingBrands.kif 2320-2320 "カメラ" is the printable form of camera in japanese language

antecedent
-------------------------


(=>
    (instance ?C CameraProgram)
    (hasPurpose ?C
        (exists (?I ?P)
            (and
                (instance ?I Image)
                (programRunning ?P ?C)
                (patient ?P ?I)))))
ComputingBrands.kif 2321-2328


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