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 "这是一组可以由计算机执行的计算机编程语言的指令。") 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 883-883
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 1242-1242
(subclass App ComputerProgram) ComputingBrands.kif 816-816
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 832-832
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 367-367
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 380-380
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 1235-1235
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 349-349
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 358-358
(subclass AppleILife ComputerProgram) ComputingBrands.kif 361-361
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 355-355
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 352-352
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 364-364
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 399-399
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 394-394
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 800-800
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 574-574
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 923-923
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 938-938
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 951-951
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 604-604
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 1305-1305
(subclass Firmware ComputerProgram) ComputingBrands.kif 895-895
(subclass MonitoringProgram ComputerProgram) QoSontology.kif 845-845

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

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


(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 806-811
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F ComputerData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 1351-1358
(=>
    (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 720-730
(=>
    (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 1040-1048
(=>
    (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 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