CameraProgram - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage CameraProgram "camera")	ComputingBrands.kif 2337-2337
(termFormat ChineseTraditionalLanguage CameraProgram "照相機")	ComputingBrands.kif 2338-2338
(termFormat ChineseLanguage CameraProgram "照相机")	ComputingBrands.kif 2339-2339
(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)))))

If X is an instance of camera, then X has the purpose there exist Y, Z such that Y is an instance of image, X is a program running of Z, and Y is a patient of Z