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 16754-16755
(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 1297-1297
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1296-1296
(subclass ComputerProgram Procedure) Merge.kif 16753-16753
(subclass ComputerProgram Software) ComputerInput.kif 813-813

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


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

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

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 16761-16766
(=>
    (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 2016-2018
(=>
    (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