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 16515-16516
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1709-1709
(lexicon ComputerProgram LexNoun "program") engineering.kif 1294-1294
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1293-1293
(subclass ComputerProgram Procedure) Merge.kif 16514-16514 电脑程序程序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 2137-2137 影/音控制传输协议电脑程序subclass
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2917-2917 Flash电脑程序subclass
(subclass App ComputerProgram) ComputingBrands.kif 1915-1915 App电脑程序subclass
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1938-1938 蘋果app 商店电脑程序subclass
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 885-885 FaceTime电脑程序subclass
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 923-923 FairPlay电脑程序subclass
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2900-2900 苹果快速 App切换器电脑程序subclass
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 849-849 GarageBand电脑程序subclass
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 867-867 ICloud电脑程序subclass
(subclass AppleILife ComputerProgram) ComputingBrands.kif 873-873 ILife电脑程序subclass
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 861-861 IMessages电脑程序subclass
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 855-855 IMovie电脑程序subclass
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 879-879 IWork电脑程序subclass
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 956-956 迁移助理电脑程序subclass
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 949-949 设置助理电脑程序subclass
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1879-1879 应用程式介面电脑程序subclass
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 576-576 自动申请电脑程序subclass
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2249-2249 小书签电脑程序subclass
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2275-2275 日历电脑程序subclass
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2297-2297 照相机电脑程序subclass
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 606-606 控制台应用电脑程序subclass
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4017-4017 DHCPProgram电脑程序subclass
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3070-3070 发信者电脑程序subclass
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4214-4214 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 1324-1324 CPU利用率 的 1 数量 是 电脑程序instance
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1317-1317 初步资料 的 1 数量 是 电脑程序instance
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 439-439 关掉 的 1 数量 是 电脑程序instance
(domain StartupFn 1 ComputerProgram) QoSontology.kif 399-399 启动 的 1 数量 是 电脑程序instance
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1300-1300 命令行参数 的 1 数量 是 电脑程序instance
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 641-641 临界水平 的 1 数量 是 电脑程序instance
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1249-1249 依赖延迟 的 1 数量 是 电脑程序instance
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1226-1226 依赖类型 的 1 数量 是 电脑程序instance
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 459-459 环境属性 的 1 数量 是 电脑程序instance
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1243-1243 有依赖性 的 1 数量 是 电脑程序instance
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1244-1244 有依赖性 的 2 数量 是 电脑程序instance
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4007-4007 implementsProtocol 的 1 数量 是 电脑程序instance
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 739-739 最大的复制 的 1 数量 是 电脑程序instance
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 718-718 最小重复 的 1 数量 是 电脑程序instance
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 972-972 监控应用数据 的 2 数量 是 电脑程序instance
(domain portNumber 1 ComputerProgram) QoSontology.kif 766-766 端口号 的 1 数量 是 电脑程序instance
(domain programCopy 2 ComputerProgram) QoSontology.kif 635-635 程序副本 的 2 数量 是 电脑程序instance
(domain programRunning 2 ComputerProgram) QoSontology.kif 207-207 程序运行 的 2 数量 是 电脑程序instance
(domain runningOn 1 ComputerProgram) QoSontology.kif 185-185 继续前进 的 1 数量 是 电脑程序instance
(domain runsOn 1 ComputerProgram) QoSontology.kif 336-336 能够操作 的 1 数量 是 电脑程序instance
(domain settlingTime 1 ComputerProgram) QoSontology.kif 711-711 安顿时间 的 1 数量 是 电脑程序instance
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 411-411 关闭 的 2 数量 是 电脑程序instance
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 919-919 心跳率 的 1 数量 是 电脑程序instance
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3828-3828 softwareVersion 的 1 数量 是 电脑程序instance
(domain startupOf 2 ComputerProgram) QoSontology.kif 371-371 的启动 的 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 3556-3564
(=>
    (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 3566-3580

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 3789-3803
(=>
    (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 3566-3580
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1897-1902
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3135-3142
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 16522-16527
(=>
    (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 1704-1714
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))
Media.kif 1520-1526
(=>
    (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 2512-2520
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2217-2219
(=>
    (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 155-162
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 597-604
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 560-568


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