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 "这是一组可以由计算机执行的计算机编程语言的指令。") Merge.kif 17074-17074
(documentation ComputerProgram EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer.") Merge.kif 17072-17073
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1709-1709 externalImage 电脑程序 and "http://upload.wikimedia.org/wikipedia/en/3/3f/Computer_program_source_code.jpg"
(lexicon ComputerProgram LexNoun "program") engineering.kif 1289-1289 lexicon 电脑程序, LexNoun and "program"
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1288-1288 lexicon 电脑程序, LexNoun and "{computer program}"
(subclass ComputerProgram Procedure) Merge.kif 17071-17071 电脑程序程序subclass
(subclass ComputerProgram Software) ComputerInput.kif 642-642 电脑程序Softwaresubclass

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1796-1796 JOPES电脑程序instance
(subclass AVCTP ComputerProgram) ComputingBrands.kif 1990-1990 影/音控制传输协议电脑程序subclass
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2752-2752 Flash电脑程序subclass
(subclass App ComputerProgram) ComputingBrands.kif 1841-1841 App电脑程序subclass
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1864-1864 蘋果app 商店电脑程序subclass
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 808-808 FaceTime电脑程序subclass
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 846-846 FairPlay电脑程序subclass
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2735-2735 苹果快速 App切换器电脑程序subclass
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 772-772 GarageBand电脑程序subclass
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 790-790 ICloud电脑程序subclass
(subclass AppleILife ComputerProgram) ComputingBrands.kif 796-796 ILife电脑程序subclass
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 784-784 IMessages电脑程序subclass
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 778-778 IMovie电脑程序subclass
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 802-802 IWork电脑程序subclass
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 879-879 迁移助理电脑程序subclass
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 872-872 设置助理电脑程序subclass
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1805-1805 应用程式介面电脑程序subclass
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 574-574 AutomaticApplication电脑程序subclass
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2102-2102 小书签电脑程序subclass
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2128-2128 日历电脑程序subclass
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2150-2150 照相机电脑程序subclass
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 604-604 ConsoleApplication电脑程序subclass
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 2905-2905 发信者电脑程序subclass
(subclass Firmware ComputerProgram) ComputingBrands.kif 2026-2026 韧体电脑程序subclass
(subclass IBooks ComputerProgram) ComputingBrands.kif 3065-3065 AppleBooks电脑程序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 1314-1314 CPUUtilizationFn 的 1 数量 是 电脑程序instance
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1307-1307 InitialProfileFn 的 1 数量 是 电脑程序instance
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 436-436 ShutdownFn 的 1 数量 是 电脑程序instance
(domain StartupFn 1 ComputerProgram) QoSontology.kif 396-396 StartupFn 的 1 数量 是 电脑程序instance
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1290-1290 commandLineArguments 的 1 数量 是 电脑程序instance
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 639-639 criticalityLevel 的 1 数量 是 电脑程序instance
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1239-1239 dependencyDelay 的 1 数量 是 电脑程序instance
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1216-1216 dependencyType 的 1 数量 是 电脑程序instance
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 456-456 environmentAttributes 的 1 数量 是 电脑程序instance
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1233-1233 hasDependency 的 1 数量 是 电脑程序instance
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1234-1234 hasDependency 的 2 数量 是 电脑程序instance
(domain heartBeatRate 1 ComputerProgram) QoSontology.kif 909-909 heartBeatRate 的 1 数量 是 电脑程序instance
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 729-729 maximumReplications 的 1 数量 是 电脑程序instance
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 708-708 minimumReplications 的 1 数量 是 电脑程序instance
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 962-962 monitorApplicationData 的 2 数量 是 电脑程序instance
(domain portNumber 1 ComputerProgram) QoSontology.kif 756-756 portNumber 的 1 数量 是 电脑程序instance
(domain programCopy 2 ComputerProgram) QoSontology.kif 633-633 programCopy 的 2 数量 是 电脑程序instance
(domain programRunning 2 ComputerProgram) QoSontology.kif 204-204 programRunning 的 2 数量 是 电脑程序instance
(domain runningOn 1 ComputerProgram) QoSontology.kif 182-182 runningOn 的 1 数量 是 电脑程序instance
(domain runsOn 1 ComputerProgram) QoSontology.kif 333-333 runsOn 的 1 数量 是 电脑程序instance
(domain settlingTime 1 ComputerProgram) QoSontology.kif 701-701 settlingTime 的 1 数量 是 电脑程序instance
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 408-408 shutdownOf 的 2 数量 是 电脑程序instance
(domain startupOf 2 ComputerProgram) QoSontology.kif 368-368 startupOf 的 2 数量 是 电脑程序instance
(domain startupTimeDelay 1 ComputerProgram) QoSontology.kif 646-646 startupTimeDelay 的 1 数量 是 电脑程序instance
(domainSubclass canRunOn 1 ComputerProgram) QoSontology.kif 346-346 canRunOn 的 1 数量 是 电脑程序subclass

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 3394-3402
(=>
    (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 3404-3418

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


(=>
    (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 3404-3418
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1823-1828
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F ComputerData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 2987-2994
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 17081-17086
(=>
    (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 1627-1637
(=>
    (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 2354-2362
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2214-2216
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 647-652
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 152-159
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 595-602
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 558-566


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners