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

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


(termFormat ChineseLanguage CameraProgram "照相机") ComputingBrands.kif 2317-2317
(termFormat ChineseTraditionalLanguage CameraProgram "照相機") ComputingBrands.kif 2316-2316
(termFormat EnglishLanguage CameraProgram "camera") ComputingBrands.kif 2315-2315
(termFormat JapaneseLanguage CameraProgram "カメラ") ComputingBrands.kif 2318-2318

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


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


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