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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProgram

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 16784-16785
(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 16783-16783 电脑程序程序subclass
(subclass ComputerProgram Software) ComputerInput.kif 813-813 电脑程序Softwaresubclass

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPES电脑程序instance
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 影/音控制传输协议电脑程序subclass
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 Flash电脑程序subclass
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App电脑程序subclass
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 蘋果app 商店电脑程序subclass
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 FaceTime电脑程序subclass
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 FairPlay电脑程序subclass
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 苹果快速 App切换器电脑程序subclass
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 GarageBand电脑程序subclass
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 ICloud电脑程序subclass
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 ILife电脑程序subclass
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 IMessages电脑程序subclass
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 IMovie电脑程序subclass
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 IWork电脑程序subclass
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 迁移助理电脑程序subclass
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 设置助理电脑程序subclass
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 应用程式介面电脑程序subclass
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 578-578 自动申请电脑程序subclass
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 小书签电脑程序subclass
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 日历电脑程序subclass
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 照相机电脑程序subclass
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 608-608 控制台应用电脑程序subclass
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4054-4054 DHCPProgram电脑程序subclass
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 发信者电脑程序subclass
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4251-4251 FindMyIPhone电脑程序subclass

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 数量 是 电脑程序instance
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312 初步资料 的 1 数量 是 电脑程序instance
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 441-441 关掉 的 1 数量 是 电脑程序instance
(domain StartupFn 1 ComputerProgram) QoSontology.kif 401-401 启动 的 1 数量 是 电脑程序instance
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1295-1295 命令行参数 的 1 数量 是 电脑程序instance
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 643-643 临界水平 的 1 数量 是 电脑程序instance
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1244-1244 依赖延迟 的 1 数量 是 电脑程序instance
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221 依赖类型 的 1 数量 是 电脑程序instance
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 461-461 环境属性 的 1 数量 是 电脑程序instance
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1238-1238 有依赖性 的 1 数量 是 电脑程序instance
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 有依赖性 的 2 数量 是 电脑程序instance
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4044-4044 implementsProtocol 的 1 数量 是 电脑程序instance
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 最大的复制 的 1 数量 是 电脑程序instance
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 最小重复 的 1 数量 是 电脑程序instance
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 974-974 监控应用数据 的 2 数量 是 电脑程序instance
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 端口号 的 1 数量 是 电脑程序instance
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 程序副本 的 2 数量 是 电脑程序instance
(domain programRunning 2 ComputerProgram) QoSontology.kif 209-209 程序运行 的 2 数量 是 电脑程序instance
(domain runningOn 1 ComputerProgram) QoSontology.kif 187-187 继续前进 的 1 数量 是 电脑程序instance
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 能够操作 的 1 数量 是 电脑程序instance
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 安顿时间 的 1 数量 是 电脑程序instance
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 413-413 关闭 的 2 数量 是 电脑程序instance
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 921-921 心跳率 的 1 数量 是 电脑程序instance
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865 softwareVersion 的 1 数量 是 电脑程序instance
(domain startupOf 2 ComputerProgram) QoSontology.kif 373-373 的启动 的 2 数量 是 电脑程序instance

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 16791-16796
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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