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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProgram

Sigma KEE - ComputerProgram
ComputerProgram

appearance as argument number 1
-------------------------


(documentation ComputerProgram ChineseLanguage "这是一组可以由计算机执行的计算机编程语言的指令。") Merge.kif 17074-17074
(documentation ComputerProgram EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer.") Merge.kif 17072-17073
(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 17071-17071
(subclass ComputerProgram Software) ComputerInput.kif 642-642

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1796-1796
(subclass AVCTP ComputerProgram) ComputingBrands.kif 1990-1990
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2752-2752
(subclass App ComputerProgram) ComputingBrands.kif 1841-1841
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1864-1864
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 808-808
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 846-846
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2735-2735
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 772-772
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 790-790
(subclass AppleILife ComputerProgram) ComputingBrands.kif 796-796
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 784-784
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 778-778
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 802-802
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 879-879
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 872-872
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1805-1805
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 574-574
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2102-2102
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2128-2128
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2150-2150
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 604-604
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 2905-2905
(subclass Firmware ComputerProgram) ComputingBrands.kif 2026-2026
(subclass IBooks ComputerProgram) ComputingBrands.kif 3065-3065

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 1314-1314
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1307-1307
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 436-436
(domain StartupFn 1 ComputerProgram) QoSontology.kif 396-396
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1290-1290
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 639-639
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1239-1239
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1216-1216
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 456-456
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1233-1233
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1234-1234
(domain heartBeatRate 1 ComputerProgram) QoSontology.kif 909-909
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 729-729
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 708-708
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 962-962
(domain portNumber 1 ComputerProgram) QoSontology.kif 756-756
(domain programCopy 2 ComputerProgram) QoSontology.kif 633-633
(domain programRunning 2 ComputerProgram) QoSontology.kif 204-204
(domain runningOn 1 ComputerProgram) QoSontology.kif 182-182
(domain runsOn 1 ComputerProgram) QoSontology.kif 333-333
(domain settlingTime 1 ComputerProgram) QoSontology.kif 701-701
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 408-408
(domain startupOf 2 ComputerProgram) QoSontology.kif 368-368
(domain startupTimeDelay 1 ComputerProgram) QoSontology.kif 646-646
(domainSubclass canRunOn 1 ComputerProgram) QoSontology.kif 346-346

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 3394-3402
(=>
    (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 3404-3418

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


(=>
    (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 3404-3418
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1823-1828
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F ComputerData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 2987-2994
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 17081-17086
(=>
    (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 1627-1637
(=>
    (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 2354-2362
(=>
    (instance ?MODULE_SERVER PageModuleServer)
    (part ?MODULE_SERVER ComputerProgram))
UXExperimentalTerms.kif 2214-2216
(=>
    (instance ?PACK SoftwarePackage)
    (exists (?PROGRAM)
        (and
            (instance ?PROGRAM ComputerProgram)
            (part ?PROGRAM ?PACK))))
ComputerInput.kif 647-652
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 152-159
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))
QoSontology.kif 595-602
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 558-566


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