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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProgram

 Sigma KEE - ComputerProgram
ComputerProgram(Programa de Computador)

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 Programa de Computador e' uma sub-classe de Procedimento
(subclass ComputerProgram Software) ComputerInput.kif 813-813 Programa de Computador e' uma sub-classe de Software

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


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

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

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