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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProgram
ComputerProgram(computer program)
Ask_Jeeves, CAD, CLI, C_compiler, C_program, DBMS, Explorer, FORTRAN_program, Fortran_compiler, Google, IE, Internet_Explorer, Konqueror, LISP_compiler, LISP_program, MapQuest, Mosaic, Netscape, Pascal_compiler, Web_Map_Server, Web_Map_Service, Windows, active_application, alpha_software, anti-virus_program, applet, application, application_program, applications_programme, assembler, assembly_program, authoring_language, automatic_face_recognition, beta_software, bottom-up, browser, chat_room, chatroom, checking_program, code, command_line_interface, compatible_software, compiler, compiling_program, computer-aided_design, computer_code, computer_database, computer_program, computer_programme, computer_software...

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 15605-15606
(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 1293-1293
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1292-1292
(subclass ComputerProgram Procedure) Merge.kif 15604-15604 Computer program is a subclass of procedure
(subclass ComputerProgram Software) ComputerInput.kif 842-842 Computer program is a subclass of Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1809-1809 JOPES is an instance of computer program
(subclass AVCTP ComputerProgram) ComputingBrands.kif 2147-2147 Audio/Video Control Transport Protocol is a subclass of computer program
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2920-2920 Flash is a subclass of computer program
(subclass App ComputerProgram) ComputingBrands.kif 1925-1925 App is a subclass of computer program
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1948-1948 Apple app store is a subclass of computer program
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 892-892 FaceTime is a subclass of computer program
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 930-930 FairPlay is a subclass of computer program
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2903-2903 Apple Fast App Switcher is a subclass of computer program
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 856-856 GarageBand is a subclass of computer program
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 874-874 ICloud is a subclass of computer program
(subclass AppleILife ComputerProgram) ComputingBrands.kif 880-880 ILife is a subclass of computer program
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 868-868 IMessages is a subclass of computer program
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 862-862 IMovie is a subclass of computer program
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 886-886 IWork is a subclass of computer program
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 963-963 Migration Assistant is a subclass of computer program
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 956-956 Setup Assistant is a subclass of computer program
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1889-1889 Application Programmer Interface is a subclass of computer program
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 576-576 Automatic application is a subclass of computer program
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2259-2259 Bookmarklet is a subclass of computer program
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2285-2285 カレンダー is a subclass of computer program
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2307-2307 Camera is a subclass of computer program
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 606-606 Console application is a subclass of computer program
(subclass DHCPProgram ComputerProgram) ComputingBrands.kif 3974-3974 DHCPProgram is a subclass of computer program
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3073-3073 Mailer is a subclass of computer program
(subclass FindMyIPhone ComputerProgram) ComputingBrands.kif 4171-4171 FMIP is a subclass of computer program

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 The number 1 argument of CPU utilization is an instance of computer program
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1317-1317 The number 1 argument of initial profile is an instance of computer program
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 439-439 The number 1 argument of shutdown is an instance of computer program
(domain StartupFn 1 ComputerProgram) QoSontology.kif 399-399 The number 1 argument of startup is an instance of computer program
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1300-1300 The number 1 argument of command line arguments is an instance of computer program
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 641-641 The number 1 argument of criticality level is an instance of computer program
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1249-1249 The number 1 argument of dependency delay is an instance of computer program
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1226-1226 The number 1 argument of dependency type is an instance of computer program
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 459-459 The number 1 argument of environment attributes is an instance of computer program
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1243-1243 The number 1 argument of has dependency is an instance of computer program
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1244-1244 The number 2 argument of has dependency is an instance of computer program
(domain implementsProtocol 1 ComputerProgram) ComputingBrands.kif 3964-3964 The number 1 argument of implements protocol is an instance of computer program
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 739-739 The number 1 argument of maximum replications is an instance of computer program
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 972-972 The number 2 argument of monitor application data is an instance of computer program
(domain portNumber 1 ComputerProgram) QoSontology.kif 766-766 The number 1 argument of port number is an instance of computer program
(domain programCopy 2 ComputerProgram) QoSontology.kif 635-635 The number 2 argument of program copy is an instance of computer program
(domain programRunning 2 ComputerProgram) QoSontology.kif 207-207 The number 2 argument of program running is an instance of computer program
(domain runningOn 1 ComputerProgram) QoSontology.kif 185-185 The number 1 argument of running on is an instance of computer program
(domain runsOn 1 ComputerProgram) QoSontology.kif 336-336 The number 1 argument of runs on is an instance of computer program
(domain settlingTime 1 ComputerProgram) QoSontology.kif 711-711 The number 1 argument of settling time is an instance of computer program
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 411-411 The number 2 argument of shutdown of is an instance of computer program
(domain softwareHeartBeatRate 1 ComputerProgram) QoSontology.kif 919-919 The number 1 argument of heart beat rate is an instance of computer program
(domain softwareVersion 1 ComputerProgram) ComputingBrands.kif 3806-3806 The number 1 argument of software version is an instance of computer program
(domain softwareVersion 2 ComputerProgram) ComputingBrands.kif 3807-3807 The number 2 argument of software version is an instance of computer program

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 3580-3588
(=>
    (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 3825-3838
(=>
    (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 3590-3604

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 3825-3838
(=>
    (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 3590-3604
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1907-1912
(=>
    (instance ?CD ComputerDesktopImage)
    (hasPurpose ?CD
        (and
            (refers ?CD ?F)
            (or
                (instance ?F DigitalData)
                (instance ?F ComputerProgram)))))
ComputingBrands.kif 3155-3162
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 15612-15617
(=>
    (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 1711-1721
(=>
    (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 2511-2519
(=>
    (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 848-853
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners