Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProgram

 Sigma KEE - ComputerProgram
ComputerProgram(ProgrammaDiComputer)

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 ProgrammaDiComputer è una sottoclasse di Procedura
(subclass ComputerProgram Software) ComputerInput.kif 813-813 ProgrammaDiComputer è una sottoclasse di Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1828-1828 JOPES è un' istanza di ProgrammaDiComputer
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2169-2169 AVCTP è una sottoclasse di ProgrammaDiComputer
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2949-2949 AdobeFlashPlayer è una sottoclasse di ProgrammaDiComputer
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App è una sottoclasse di ProgrammaDiComputer
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1970-1970 AppleAppStore è una sottoclasse di ProgrammaDiComputer
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 917-917 AppleFaceTime è una sottoclasse di ProgrammaDiComputer
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 955-955 AppleFairPlay è una sottoclasse di ProgrammaDiComputer
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2932-2932 AppleFastAppSwitcher è una sottoclasse di ProgrammaDiComputer
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 881-881 AppleGarageBand è una sottoclasse di ProgrammaDiComputer
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 899-899 AppleICloud è una sottoclasse di ProgrammaDiComputer
(subclass AppleILife ComputerProgram) ComputingBrands.kif 905-905 AppleILife è una sottoclasse di ProgrammaDiComputer
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 893-893 AppleIMessages è una sottoclasse di ProgrammaDiComputer
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 887-887 AppleIMovie è una sottoclasse di ProgrammaDiComputer
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 911-911 AppleIWork è una sottoclasse di ProgrammaDiComputer
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 988-988 AppleMigrationAssistant è una sottoclasse di ProgrammaDiComputer
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 981-981 AppleSetupAssistant è una sottoclasse di ProgrammaDiComputer
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1911-1911 ApplicationProgrammerInterface è una sottoclasse di ProgrammaDiComputer
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 578-578 AutomaticApplication è una sottoclasse di ProgrammaDiComputer
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2281-2281 Bookmarklet è una sottoclasse di ProgrammaDiComputer
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2307-2307 CalendaringProgram è una sottoclasse di ProgrammaDiComputer
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2329-2329 CameraProgram è una sottoclasse di ProgrammaDiComputer
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 608-608 ConsoleApplication è una sottoclasse di ProgrammaDiComputer
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 4054-4054 DHCPProgram è una sottoclasse di ProgrammaDiComputer
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 EmailProgram è una sottoclasse di ProgrammaDiComputer
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4251-4251 FindMyIPhone è una sottoclasse di ProgrammaDiComputer

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 Il numero 1 argomenti di CPUUtilizationFn è un istanza di ProgrammaDiComputer
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312 Il numero 1 argomenti di InitialProfileFn è un istanza di ProgrammaDiComputer
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 441-441 Il numero 1 argomenti di ShutdownFn è un istanza di ProgrammaDiComputer
(domain StartupFn 1 ComputerProgram) QoSontology.kif 401-401 Il numero 1 argomenti di StartupFn è un istanza di ProgrammaDiComputer
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1295-1295 Il numero 1 argomenti di commandLineArguments è un istanza di ProgrammaDiComputer
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 643-643 Il numero 1 argomenti di criticalityLevel è un istanza di ProgrammaDiComputer
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1244-1244 Il numero 1 argomenti di dependencyDelay è un istanza di ProgrammaDiComputer
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1221-1221 Il numero 1 argomenti di dependencyType è un istanza di ProgrammaDiComputer
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 461-461 Il numero 1 argomenti di environmentAttributes è un istanza di ProgrammaDiComputer
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1238-1238 Il numero 1 argomenti di hasDependency è un istanza di ProgrammaDiComputer
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1239-1239 Il numero 2 argomenti di hasDependency è un istanza di ProgrammaDiComputer
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 4044-4044 Il numero 1 argomenti di implementsProtocol è un istanza di ProgrammaDiComputer
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 741-741 Il numero 1 argomenti di maximumReplications è un istanza di ProgrammaDiComputer
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 720-720 Il numero 1 argomenti di minimumReplications è un istanza di ProgrammaDiComputer
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 974-974 Il numero 2 argomenti di monitorApplicationData è un istanza di ProgrammaDiComputer
(domain portNumber 1 ComputerProgram) QoSontology.kif 768-768 Il numero 1 argomenti di portNumber è un istanza di ProgrammaDiComputer
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 Il numero 2 argomenti di programCopy è un istanza di ProgrammaDiComputer
(domain programRunning 2 ComputerProgram) QoSontology.kif 209-209 Il numero 2 argomenti di programRunning è un istanza di ProgrammaDiComputer
(domain runningOn 1 ComputerProgram) QoSontology.kif 187-187 Il numero 1 argomenti di runningOn è un istanza di ProgrammaDiComputer
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 Il numero 1 argomenti di runsOn è un istanza di ProgrammaDiComputer
(domain settlingTime 1 ComputerProgram) QoSontology.kif 713-713 Il numero 1 argomenti di settlingTime è un istanza di ProgrammaDiComputer
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 413-413 Il numero 2 argomenti di shutdownOf è un istanza di ProgrammaDiComputer
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 921-921 Il numero 1 argomenti di softwareHeartBeatRate è un istanza di ProgrammaDiComputer
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3865-3865 Il numero 1 argomenti di softwareVersion è un istanza di ProgrammaDiComputer
(domain startupOf 2 ComputerProgram) QoSontology.kif 373-373 Il numero 2 argomenti di startupOf è un istanza di ProgrammaDiComputer

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 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 3.0 is open source software produced by Articulate Software and its partners