CameraProgram - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage CameraProgram "照相机")	ComputingBrands.kif 2339-2339
(termFormat ChineseTraditionalLanguage CameraProgram "照相機")	ComputingBrands.kif 2338-2338
(termFormat EnglishLanguage CameraProgram "camera")	ComputingBrands.kif 2337-2337
(termFormat JapaneseLanguage CameraProgram "カメラ")	ComputingBrands.kif 2340-2340

antecedent

(=>
    (instance ?C CameraProgram)
    (hasPurpose ?C
        (exists (?I ?P)
            (and
                (instance ?I Image)
                (programRunning ?P ?C)
                (patient ?P ?I)))))

ComputingBrands.kif 2341-2348