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 15578-15579
(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 1293-1293
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1292-1292
(subclass ComputerProgram Procedure) Merge.kif 15577-15577 电脑程序 是 程序 的 subclass
(subclass ComputerProgram Software) ComputerInput.kif 842-842 电脑程序 是 Software 的 subclass

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1809-1809 JOPES 是 电脑程序 的 instance
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2149-2149 影/音控制传输协议 是 电脑程序 的 subclass
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2922-2922 Flash 是 电脑程序 的 subclass
(subclass App ComputerProgram) ComputingBrands.kif 1927-1927 App 是 电脑程序 的 subclass
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1950-1950 蘋果app 商店 是 电脑程序 的 subclass
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 894-894 FaceTime 是 电脑程序 的 subclass
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 932-932 FairPlay 是 电脑程序 的 subclass
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2905-2905 苹果快速 App切换器 是 电脑程序 的 subclass
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 858-858 GarageBand 是 电脑程序 的 subclass
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 876-876 ICloud 是 电脑程序 的 subclass
(subclass AppleILife ComputerProgram) ComputingBrands.kif 882-882 ILife 是 电脑程序 的 subclass
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 870-870 IMessages 是 电脑程序 的 subclass
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 864-864 IMovie 是 电脑程序 的 subclass
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 888-888 IWork 是 电脑程序 的 subclass
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 965-965 迁移助理 是 电脑程序 的 subclass
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 958-958 设置助理 是 电脑程序 的 subclass
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1891-1891 应用程式介面 是 电脑程序 的 subclass
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 576-576 自动申请 是 电脑程序 的 subclass
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2261-2261 小书签 是 电脑程序 的 subclass
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2287-2287 日历 是 电脑程序 的 subclass
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2309-2309 照相机 是 电脑程序 的 subclass
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 606-606 控制台应用 是 电脑程序 的 subclass
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 3979-3979 DHCPProgram 是 电脑程序 的 subclass
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3075-3075 发信者 是 电脑程序 的 subclass
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4176-4176 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 3969-3969 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 3811-3811 softwareVersion 的 1 数量 是 电脑程序 的 instance
(domain softwareVersion 2 ComputerProgram) ComputingBrands.kif 3812-3812 softwareVersion 的 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 3585-3593
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))		 ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))		 ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))		 ComputingBrands.kif 1909-1914
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))		 ComputingBrands.kif 3157-3164
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))		 Merge.kif 15585-15590
(=>
    (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 1713-1723
(=>
    (instance ?FILE SoftwareFile)
    (exists (?PROGRAM ?SUBPROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
            (containsInformation ?FILE ?SUBPROGRAM))))		 Media.kif 1524-1530
(=>
    (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 2513-2521
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))		 UXExperimentalTerms.kif 2212-2214
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))		 ComputerInput.kif 848-853
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners