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 15485-15486
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") pictureList.kif 1709-1709
(lexicon ComputerProgram LexNoun "program") engineering.kif 1289-1289
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1288-1288
(subclass ComputerProgram Procedure) Merge.kif 15484-15484
(subclass ComputerProgram Software) ComputerInput.kif 643-643

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1809-1809
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2149-2149
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2922-2922
(subclass App ComputerProgram) ComputingBrands.kif 1927-1927
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1950-1950
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 894-894
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 932-932
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2905-2905
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 858-858
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 876-876
(subclass AppleILife ComputerProgram) ComputingBrands.kif 882-882
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 870-870
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 864-864
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 888-888
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 965-965
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 958-958
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1891-1891
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 576-576
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2261-2261
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2287-2287
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2309-2309
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 606-606
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 3979-3979
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3075-3075
(subclass Firmware ComputerProgram) ComputingBrands.kif 2185-2185

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 1324-1324
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1317-1317
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 439-439
(domain StartupFn 1 ComputerProgram) QoSontology.kif 399-399
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1300-1300
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 641-641
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1249-1249
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1226-1226
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 459-459
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1243-1243
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1244-1244
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 3969-3969
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 739-739
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 718-718
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 972-972
(domain portNumber 1 ComputerProgram) QoSontology.kif 766-766
(domain programCopy 2 ComputerProgram) QoSontology.kif 635-635
(domain programRunning 2 ComputerProgram) QoSontology.kif 207-207
(domain runningOn 1 ComputerProgram) QoSontology.kif 185-185
(domain runsOn 1 ComputerProgram) QoSontology.kif 336-336
(domain settlingTime 1 ComputerProgram) QoSontology.kif 711-711
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 411-411
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 919-919
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3811-3811
(domain softwareVersion 2 ComputerProgram) ComputingBrands.kif 3812-3812

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 3585-3593
(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609

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


(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer)
        (objectTransferred ?SU ?P)
        (instance ?P ComputerProgram))
    (exists (?POLD ?DSD)
        (and
            (instance ?POLD ComputerProgram)
            (instance ?DSD DataStorageDevice)
            (connectedPeripheral ?DSD ?C)
            (stored ?POLD ?DSD)
            (softwareVersion ?P ?POLD))))
ComputingBrands.kif 3830-3843
(=>
    (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 3595-3609
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1909-1914
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3157-3164
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 15492-15497
(=>
    (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 1713-1723
(=>
    (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 2513-2521
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2212-2214
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 648-653
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 155-162
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 597-604
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 560-568


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