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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProgram
ComputerProgram

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


(documentation ComputerProgram ChineseLanguage "这是一组可以由计算机执行的计算机编程语言的指令。") chinese_format.kif 3761-3761
(documentation ComputerProgram EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer.") Merge.kif 16855-16856
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1708-1708
(lexicon ComputerProgram LexNoun "program") engineering.kif 1295-1295
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1294-1294
(subclass ComputerProgram Procedure) Merge.kif 16854-16854 子類 ComputerProgram and Procedure
(subclass ComputerProgram Software) ComputerInput.kif 813-813 子類 ComputerProgram and Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPES and ComputerProgram
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 子類 影/音控制傳輸協議 and ComputerProgram
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 子類 Flash and ComputerProgram
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 子類 app and ComputerProgram
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 子類 蘋果app 商店 and ComputerProgram
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 子類 FaceTime and ComputerProgram
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 子類 FairPlay and ComputerProgram
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 子類 蘋果快速 App切換器 and ComputerProgram
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 子類 GarageBand and ComputerProgram
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 子類 iCloud and ComputerProgram
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 子類 iLife and ComputerProgram
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 子類 iMessages and ComputerProgram
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 子類 iMovie and ComputerProgram
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 子類 iWork and ComputerProgram
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 子類 遷移助理 and ComputerProgram
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 子類 設置助理 and ComputerProgram
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 子類 應用程式介面 and ComputerProgram
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 578-578 子類 自動申請 and ComputerProgram
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 子類 小書籤 and ComputerProgram
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 子類 日曆 and ComputerProgram
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 子類 照相機 and ComputerProgram
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 608-608 子類 控制台應用 and ComputerProgram
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4054-4054 子類 DHCPProgram and ComputerProgram
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 子類 發信者 and ComputerProgram
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4251-4251 子類 FindMyIPhone and ComputerProgram

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain CPUUtilizationFn 1 ComputerProgram) QoSontology.kif 1319-1319 CPU利用率, 1 and ComputerProgram
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312 初步資料, 1 and ComputerProgram
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 441-441 關掉, 1 and ComputerProgram
(domain StartupFn 1 ComputerProgram) QoSontology.kif 401-401 啟動, 1 and ComputerProgram
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1295-1295 命令行參數, 1 and ComputerProgram
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 643-643 臨界水平, 1 and ComputerProgram
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1244-1244 依賴延遲, 1 and ComputerProgram
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221 依賴類型, 1 and ComputerProgram
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 461-461 環境屬性, 1 and ComputerProgram
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1238-1238 有依賴性, 1 and ComputerProgram
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 有依賴性, 2 and ComputerProgram
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4044-4044 implementsProtocol, 1 and ComputerProgram
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 最大的複制, 1 and ComputerProgram
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 最小重複, 1 and ComputerProgram
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 974-974 監控應用數據, 2 and ComputerProgram
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 端口號, 1 and ComputerProgram
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 程序副本, 2 and ComputerProgram
(domain programRunning 2 ComputerProgram) QoSontology.kif 209-209 程序運行, 2 and ComputerProgram
(domain runningOn 1 ComputerProgram) QoSontology.kif 187-187 繼續前進, 1 and ComputerProgram
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 能够操作, 1 and ComputerProgram
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 安頓時間, 1 and ComputerProgram
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 413-413 關閉, 2 and ComputerProgram
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 921-921 心跳率, 1 and ComputerProgram
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865 softwareVersion, 1 and ComputerProgram
(domain startupOf 2 ComputerProgram) QoSontology.kif 373-373 的啟動, 2 and ComputerProgram

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3593-3601
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3603-3617

consequent
-------------------------


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU)
                    (softwareVersion ?P PreviousVersion)))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU)
                    (softwareVersion ?P CurrentVersion))))))
ComputingBrands.kif 3826-3840
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3603-3617
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1929-1934
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3167-3174
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 16862-16867
(=>
    (instance ?CP ComputerProtocol)
    (hasPurpose ?CP
        (exists (?P1 ?P2 ?C)
            (and
                (instance ?P1 ComputerProgram)
                (instance ?P2 ComputerProgram)
                (instance ?C DataTransfer)
                (origin ?C ?P1)
                (destination ?C ?P2)
                (represents ?CP ?C)))))
ComputingBrands.kif 1736-1746
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1534-1540
(=>
    (instance ?G GUIDock)
    (exists (?I ?P ?CP)
        (and
            (instance ?CP ComputerProgram)
            (programRunning ?P ?CP)
            (instance ?I Icon)
            (represents ?I ?P)
            (orientation ?I ?G Inside))))
ComputingBrands.kif 2544-2552
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2008-2010
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 819-824
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 157-164
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 599-606
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 562-570


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