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 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 ComputerProgram ist eine teilkategorie von Procedure
(subclass ComputerProgram Software) ComputerInput.kif 813-813 ComputerProgram ist eine teilkategorie von Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPES ist ein fall von ComputerProgram %n{nicht}
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 AVCTP ist eine teilkategorie von ComputerProgram
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 AdobeFlashPlayer ist eine teilkategorie von ComputerProgram
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App ist eine teilkategorie von ComputerProgram
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 AppleAppStore ist eine teilkategorie von ComputerProgram
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 AppleFaceTime ist eine teilkategorie von ComputerProgram
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 AppleFairPlay ist eine teilkategorie von ComputerProgram
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 AppleFastAppSwitcher ist eine teilkategorie von ComputerProgram
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 AppleGarageBand ist eine teilkategorie von ComputerProgram
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 AppleICloud ist eine teilkategorie von ComputerProgram
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 AppleILife ist eine teilkategorie von ComputerProgram
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 AppleIMessages ist eine teilkategorie von ComputerProgram
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 AppleIMovie ist eine teilkategorie von ComputerProgram
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 AppleIWork ist eine teilkategorie von ComputerProgram
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 AppleMigrationAssistant ist eine teilkategorie von ComputerProgram
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 AppleSetupAssistant ist eine teilkategorie von ComputerProgram
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 ApplicationProgrammerInterface ist eine teilkategorie von ComputerProgram
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 578-578 AutomaticApplication ist eine teilkategorie von ComputerProgram
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 Bookmarklet ist eine teilkategorie von ComputerProgram
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 CalendaringProgram ist eine teilkategorie von ComputerProgram
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 CameraProgram ist eine teilkategorie von ComputerProgram
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 608-608 ConsoleApplication ist eine teilkategorie von ComputerProgram
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4054-4054 DHCPProgram ist eine teilkategorie von ComputerProgram
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 EmailProgram ist eine teilkategorie von ComputerProgram
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4251-4251 FindMyIPhone ist eine teilkategorie von ComputerProgram

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 Die Zahl 1 Argument von CPUUtilizationFn ist ein fall von ComputerProgram %n{nicht}
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312 Die Zahl 1 Argument von InitialProfileFn ist ein fall von ComputerProgram %n{nicht}
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 441-441 Die Zahl 1 Argument von ShutdownFn ist ein fall von ComputerProgram %n{nicht}
(domain StartupFn 1 ComputerProgram) QoSontology.kif 401-401 Die Zahl 1 Argument von StartupFn ist ein fall von ComputerProgram %n{nicht}
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1295-1295 Die Zahl 1 Argument von commandLineArguments ist ein fall von ComputerProgram %n{nicht}
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 643-643 Die Zahl 1 Argument von criticalityLevel ist ein fall von ComputerProgram %n{nicht}
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1244-1244 Die Zahl 1 Argument von dependencyDelay ist ein fall von ComputerProgram %n{nicht}
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221 Die Zahl 1 Argument von dependencyType ist ein fall von ComputerProgram %n{nicht}
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 461-461 Die Zahl 1 Argument von environmentAttributes ist ein fall von ComputerProgram %n{nicht}
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1238-1238 Die Zahl 1 Argument von hasDependency ist ein fall von ComputerProgram %n{nicht}
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 Die Zahl 2 Argument von hasDependency ist ein fall von ComputerProgram %n{nicht}
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4044-4044 Die Zahl 1 Argument von implementsProtocol ist ein fall von ComputerProgram %n{nicht}
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 Die Zahl 1 Argument von maximumReplications ist ein fall von ComputerProgram %n{nicht}
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 Die Zahl 1 Argument von minimumReplications ist ein fall von ComputerProgram %n{nicht}
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 974-974 Die Zahl 2 Argument von monitorApplicationData ist ein fall von ComputerProgram %n{nicht}
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 Die Zahl 1 Argument von portNumber ist ein fall von ComputerProgram %n{nicht}
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 Die Zahl 2 Argument von programCopy ist ein fall von ComputerProgram %n{nicht}
(domain programRunning 2 ComputerProgram) QoSontology.kif 209-209 Die Zahl 2 Argument von programRunning ist ein fall von ComputerProgram %n{nicht}
(domain runningOn 1 ComputerProgram) QoSontology.kif 187-187 Die Zahl 1 Argument von runningOn ist ein fall von ComputerProgram %n{nicht}
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 Die Zahl 1 Argument von runsOn ist ein fall von ComputerProgram %n{nicht}
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 Die Zahl 1 Argument von settlingTime ist ein fall von ComputerProgram %n{nicht}
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 413-413 Die Zahl 2 Argument von shutdownOf ist ein fall von ComputerProgram %n{nicht}
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 921-921 Die Zahl 1 Argument von softwareHeartBeatRate ist ein fall von ComputerProgram %n{nicht}
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865 Die Zahl 1 Argument von softwareVersion ist ein fall von ComputerProgram %n{nicht}
(domain startupOf 2 ComputerProgram) QoSontology.kif 373-373 Die Zahl 2 Argument von startupOf ist ein fall von ComputerProgram %n{nicht}

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 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