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 16959-16960
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1707-1707
(lexicon ComputerProgram LexNoun "program") engineering.kif 1608-1608
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1607-1607
(subclass ComputerProgram Procedure) Merge.kif 16958-16958 电脑程序 是 程序 的 subclass
(subclass ComputerProgram Software) ComputerInput.kif 813-813 电脑程序 是 Software 的 subclass

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 686-686 自动申请 是 电脑程序 的 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 717-717 控制台应用 是 电脑程序 的 subclass
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4049-4049 DHCPProgram 是 电脑程序 的 subclass
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 发信者 是 电脑程序 的 subclass
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4246-4246 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 1428-1428 CPU利用率 的 1 数量 是 电脑程序 的 instance
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1421-1421 初步资料 的 1 数量 是 电脑程序 的 instance
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 442-442 关掉 的 1 数量 是 电脑程序 的 instance
(domain StartupFn 1 ComputerProgram) QoSontology.kif 402-402 启动 的 1 数量 是 电脑程序 的 instance
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1404-1404 命令行参数 的 1 数量 是 电脑程序 的 instance
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 752-752 临界水平 的 1 数量 是 电脑程序 的 instance
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1353-1353 依赖延迟 的 1 数量 是 电脑程序 的 instance
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1330-1330 依赖类型 的 1 数量 是 电脑程序 的 instance
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 462-462 环境属性 的 1 数量 是 电脑程序 的 instance
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1347-1347 有依赖性 的 1 数量 是 电脑程序 的 instance
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1348-1348 有依赖性 的 2 数量 是 电脑程序 的 instance
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4039-4039 implementsProtocol 的 1 数量 是 电脑程序 的 instance
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 850-850 最大的复制 的 1 数量 是 电脑程序 的 instance
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 829-829 最小重复 的 1 数量 是 电脑程序 的 instance
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 1083-1083 监控应用数据 的 2 数量 是 电脑程序 的 instance
(domain portNumber 1 ComputerProgram) QoSontology.kif 877-877 端口号 的 1 数量 是 电脑程序 的 instance
(domain programCopy 2 ComputerProgram) QoSontology.kif 746-746 程序副本 的 2 数量 是 电脑程序 的 instance
(domain programRunning 2 ComputerProgram) QoSontology.kif 210-210 程序运行 的 2 数量 是 电脑程序 的 instance
(domain runningOn 1 ComputerProgram) QoSontology.kif 188-188 继续前进 的 1 数量 是 电脑程序 的 instance
(domain runsOn 1 ComputerProgram) QoSontology.kif 339-339 能够操作 的 1 数量 是 电脑程序 的 instance
(domain settlingTime 1 ComputerProgram) QoSontology.kif 822-822 安顿时间 的 1 数量 是 电脑程序 的 instance
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 414-414 关闭 的 2 数量 是 电脑程序 的 instance
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 1030-1030 心跳率 的 1 数量 是 电脑程序 的 instance
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3860-3860 softwareVersion 的 1 数量 是 电脑程序 的 instance
(domain startupOf 2 ComputerProgram) QoSontology.kif 374-374 的启动 的 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 3588-3596
(=>
    (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 3598-3612

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 3821-3835
(=>
    (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 3598-3612
(=>
    (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 3163-3170
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))		 Merge.kif 16966-16971
(=>
    (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 1536-1542
(=>
    (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 158-165
(=>
    (instance ?R Robot)
    (hasPurpose ?R
        (exists (?PROC ?COMP)
            (and
                (instance ?PROC ComputerProcess)
                (instance ?COMP ComputerProgram)
                (computerRunning ?PROC ?COMP)
                (patient ?PROC ?R)
                (holdsDuring
                    (WhenFn ?PROC)
                    (exists (?INT)
                        (and
                            (instance ?INT IntentionalProcess)
                            (instrument ?INT ?R))))))))		 engineering.kif 999-1013
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))		 QoSontology.kif 708-715
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))		 QoSontology.kif 670-678


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