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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CameraProgram
CameraProgram(camera)

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


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