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 "这是一组可以由计算机执行的计算机编程语言的指令。") 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 "http://upload.wikimedia.org/wikipedia/en/3/3f/Computer_program_source_code.jpg" is a URL depicting computer program
(lexicon ComputerProgram LexNoun "program") engineering.kif 1289-1289 The lex noun word for computer program is "program"
(lexicon ComputerProgram LexNoun "{computer program}") engineering.kif 1288-1288 The lex noun word for computer program is "{computer program}"
(subclass ComputerProgram Procedure) Merge.kif 17071-17071 Computer program is a subclass of procedure
(subclass ComputerProgram Software) ComputerInput.kif 642-642 Computer program is a subclass of Software

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


(instance JOPES ComputerProgram) MilitaryProcesses.kif 1796-1796 JOPE s is an instance of computer program
(subclass AVCTP ComputerProgram) ComputingBrands.kif 1990-1990 Audio/Video Control Transport Protocol is a subclass of computer program
(subclass AdobeFlashPlayer ComputerProgram) ComputingBrands.kif 2752-2752 Flash is a subclass of computer program
(subclass App ComputerProgram) ComputingBrands.kif 1841-1841 App is a subclass of computer program
(subclass AppleAppStore ComputerProgram) ComputingBrands.kif 1864-1864 Apple app store is a subclass of computer program
(subclass AppleFaceTime ComputerProgram) ComputingBrands.kif 808-808 FaceTime is a subclass of computer program
(subclass AppleFairPlay ComputerProgram) ComputingBrands.kif 846-846 FairPlay is a subclass of computer program
(subclass AppleFastAppSwitcher ComputerProgram) ComputingBrands.kif 2735-2735 Apple Fast App Switcher is a subclass of computer program
(subclass AppleGarageBand ComputerProgram) ComputingBrands.kif 772-772 GarageBand is a subclass of computer program
(subclass AppleICloud ComputerProgram) ComputingBrands.kif 790-790 ICloud is a subclass of computer program
(subclass AppleILife ComputerProgram) ComputingBrands.kif 796-796 ILife is a subclass of computer program
(subclass AppleIMessages ComputerProgram) ComputingBrands.kif 784-784 IMessages is a subclass of computer program
(subclass AppleIMovie ComputerProgram) ComputingBrands.kif 778-778 IMovie is a subclass of computer program
(subclass AppleIWork ComputerProgram) ComputingBrands.kif 802-802 IWork is a subclass of computer program
(subclass AppleMigrationAssistant ComputerProgram) ComputingBrands.kif 879-879 Migration Assistant is a subclass of computer program
(subclass AppleSetupAssistant ComputerProgram) ComputingBrands.kif 872-872 Setup Assistant is a subclass of computer program
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1805-1805 Application Programmer Interface is a subclass of computer program
(subclass AutomaticApplication ComputerProgram) QoSontology.kif 574-574 Automatic application is a subclass of computer program
(subclass Bookmarklet ComputerProgram) ComputingBrands.kif 2102-2102 Bookmarklet is a subclass of computer program
(subclass CalendaringProgram ComputerProgram) ComputingBrands.kif 2128-2128 カレンダー is a subclass of computer program
(subclass CameraProgram ComputerProgram) ComputingBrands.kif 2150-2150 Camera is a subclass of computer program
(subclass ConsoleApplication ComputerProgram) QoSontology.kif 604-604 Console application is a subclass of computer program
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 2905-2905 Mailer is a subclass of computer program
(subclass Firmware ComputerProgram) ComputingBrands.kif 2026-2026 Firmware is a subclass of computer program
(subclass IBooks ComputerProgram) ComputingBrands.kif 3065-3065 AppleBooks 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 1314-1314 The number 1 argument of CPU utilization is an instance of computer program
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1307-1307 The number 1 argument of initial profile is an instance of computer program
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 436-436 The number 1 argument of shutdown is an instance of computer program
(domain StartupFn 1 ComputerProgram) QoSontology.kif 396-396 The number 1 argument of startup is an instance of computer program
(domain commandLineArguments 1 ComputerProgram) QoSontology.kif 1290-1290 The number 1 argument of command line arguments is an instance of computer program
(domain criticalityLevel 1 ComputerProgram) QoSontology.kif 639-639 The number 1 argument of criticality level is an instance of computer program
(domain dependencyDelay 1 ComputerProgram) QoSontology.kif 1239-1239 The number 1 argument of dependency delay is an instance of computer program
(domain dependencyType 1 ComputerProgram) QoSontology.kif 1216-1216 The number 1 argument of dependency type is an instance of computer program
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 456-456 The number 1 argument of environment attributes is an instance of computer program
(domain hasDependency 1 ComputerProgram) QoSontology.kif 1233-1233 The number 1 argument of has dependency is an instance of computer program
(domain hasDependency 2 ComputerProgram) QoSontology.kif 1234-1234 The number 2 argument of has dependency is an instance of computer program
(domain heartBeatRate 1 ComputerProgram) QoSontology.kif 909-909 The number 1 argument of heart beat rate is an instance of computer program
(domain maximumReplications 1 ComputerProgram) QoSontology.kif 729-729 The number 1 argument of maximum replications is an instance of computer program
(domain minimumReplications 1 ComputerProgram) QoSontology.kif 708-708 The number 1 argument of minimum replications is an instance of computer program
(domain monitorApplicationData 2 ComputerProgram) QoSontology.kif 962-962 The number 2 argument of monitor application data is an instance of computer program
(domain portNumber 1 ComputerProgram) QoSontology.kif 756-756 The number 1 argument of port number is an instance of computer program
(domain programCopy 2 ComputerProgram) QoSontology.kif 633-633 The number 2 argument of program copy is an instance of computer program
(domain programRunning 2 ComputerProgram) QoSontology.kif 204-204 The number 2 argument of program running is an instance of computer program
(domain runningOn 1 ComputerProgram) QoSontology.kif 182-182 The number 1 argument of running on is an instance of computer program
(domain runsOn 1 ComputerProgram) QoSontology.kif 333-333 The number 1 argument of runs on is an instance of computer program
(domain settlingTime 1 ComputerProgram) QoSontology.kif 701-701 The number 1 argument of settling time is an instance of computer program
(domain shutdownOf 2 ComputerProgram) QoSontology.kif 408-408 The number 2 argument of shutdown of is an instance of computer program
(domain startupOf 2 ComputerProgram) QoSontology.kif 368-368 The number 2 argument of startup of is an instance of computer program
(domain startupTimeDelay 1 ComputerProgram) QoSontology.kif 646-646 The number 1 argument of startup time delay is an instance of computer program
(domainSubclass canRunOn 1 ComputerProgram) QoSontology.kif 346-346 The number 1 argument of canRunOn is a subclass 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 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 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