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
-------------------------


s__documentation(s__ComputerProgram,s__ChineseLanguage,'"这是一组可以由计算机执行的计算机编程语言的指令。"')

chinese_format.kif 3761-3761
s__documentation(s__ComputerProgram,s__EnglishLanguage,'"A set of instructions in a computer programming language that can be executed by a computer."')

Merge.kif 16002-16003
s__externalImage(s__ComputerProgram,'"http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg"')

pictureList.kif 1709-1709
s__lexicon(s__ComputerProgram,s__LexNoun,'"program"')

engineering.kif 1293-1293
s__lexicon(s__ComputerProgram,s__LexNoun,'"{computer program}"')

engineering.kif 1292-1292
s__subclass(s__ComputerProgram,s__Procedure)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__Procedure,s__SetOrClass)

Merge.kif 16001-16001 Computer program is a subclass of procedure
s__instance(s__Software,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__ComputerProgram,s__Software)

ComputerInput.kif 842-842 Computer program is a subclass of Software

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


s__instance(s__JOPES,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

MilitaryProcesses.kif 1809-1809 JOPES is an instance of computer program
s__instance(s__AVCTP,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AVCTP,s__ComputerProgram)

ComputingBrands.kif 2136-2136 Audio/Video Control Transport Protocol is a subclass of computer program
s__instance(s__AdobeFlashPlayer,s__SetOrClass)

s__subclass(s__AdobeFlashPlayer,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 2908-2908 Flash is a subclass of computer program
s__instance(s__App,s__SetOrClass)

s__subclass(s__App,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 1914-1914 App is a subclass of computer program
s__subclass(s__AppleAppStore,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__AppleAppStore,s__SetOrClass)

ComputingBrands.kif 1937-1937 Apple app store is a subclass of computer program
s__instance(s__AppleFaceTime,s__SetOrClass)

s__subclass(s__AppleFaceTime,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 886-886 FaceTime is a subclass of computer program
s__subclass(s__AppleFairPlay,s__ComputerProgram)

s__instance(s__AppleFairPlay,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 924-924 FairPlay is a subclass of computer program
s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleFastAppSwitcher,s__ComputerProgram)

s__instance(s__AppleFastAppSwitcher,s__SetOrClass)

ComputingBrands.kif 2891-2891 Apple Fast App Switcher is a subclass of computer program
s__instance(s__AppleGarageBand,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleGarageBand,s__ComputerProgram)

ComputingBrands.kif 850-850 GarageBand is a subclass of computer program
s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleICloud,s__ComputerProgram)

s__instance(s__AppleICloud,s__SetOrClass)

ComputingBrands.kif 868-868 ICloud is a subclass of computer program
s__subclass(s__AppleILife,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__AppleILife,s__SetOrClass)

ComputingBrands.kif 874-874 ILife is a subclass of computer program
s__instance(s__AppleIMessages,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleIMessages,s__ComputerProgram)

ComputingBrands.kif 862-862 IMessages is a subclass of computer program
s__instance(s__AppleIMovie,s__SetOrClass)

s__subclass(s__AppleIMovie,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 856-856 IMovie is a subclass of computer program
s__instance(s__AppleIWork,s__SetOrClass)

s__subclass(s__AppleIWork,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 880-880 IWork is a subclass of computer program
s__instance(s__AppleMigrationAssistant,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleMigrationAssistant,s__ComputerProgram)

ComputingBrands.kif 957-957 Migration Assistant is a subclass of computer program
s__instance(s__AppleSetupAssistant,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__AppleSetupAssistant,s__ComputerProgram)

ComputingBrands.kif 950-950 Setup Assistant is a subclass of computer program
s__subclass(s__ApplicationProgrammerInterface,s__ComputerProgram)

s__instance(s__ApplicationProgrammerInterface,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 1878-1878 Application Programmer Interface is a subclass of computer program
s__subclass(s__AutomaticApplication,s__ComputerProgram)

s__instance(s__AutomaticApplication,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

QoSontology.kif 576-576 Automatic application is a subclass of computer program
s__instance(s__Bookmarklet,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

s__subclass(s__Bookmarklet,s__ComputerProgram)

ComputingBrands.kif 2248-2248 Bookmarklet is a subclass of computer program
s__subclass(s__CalendaringProgram,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__CalendaringProgram,s__SetOrClass)

ComputingBrands.kif 2274-2274 カレンダー is a subclass of computer program
s__subclass(s__CameraProgram,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__CameraProgram,s__SetOrClass)

ComputingBrands.kif 2296-2296 Camera is a subclass of computer program
s__subclass(s__ConsoleApplication,s__ComputerProgram)

s__instance(s__ConsoleApplication,s__SetOrClass)

s__instance(s__ComputerProgram,s__SetOrClass)

QoSontology.kif 606-606 Console application is a subclass of computer program
s__instance(s__DHCPProgram,s__SetOrClass)

s__subclass(s__DHCPProgram,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 4025-4025 DHCPProgram is a subclass of computer program
s__instance(s__EmailProgram,s__SetOrClass)

s__subclass(s__EmailProgram,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

ComputingBrands.kif 3061-3061 Mailer is a subclass of computer program
s__subclass(s__FindMyIPhone,s__ComputerProgram)

s__instance(s__ComputerProgram,s__SetOrClass)

s__instance(s__FindMyIPhone,s__SetOrClass)

ComputingBrands.kif 4222-4222 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
-------------------------


s__domain(s__CPUUtilizationFn__m,n__1,s__ComputerProgram)

QoSontology.kif 1324-1324 The number 1 argument of CPU utilization is an instance of computer program
s__domain(s__InitialProfileFn__m,n__1,s__ComputerProgram)

QoSontology.kif 1317-1317 The number 1 argument of initial profile is an instance of computer program
s__domain(s__ShutdownFn__m,n__1,s__ComputerProgram)

QoSontology.kif 439-439 The number 1 argument of shutdown is an instance of computer program
s__domain(s__StartupFn__m,n__1,s__ComputerProgram)

QoSontology.kif 399-399 The number 1 argument of startup is an instance of computer program
s__domain(s__commandLineArguments__m,n__1,s__ComputerProgram)

QoSontology.kif 1300-1300 The number 1 argument of command line arguments is an instance of computer program
s__domain(s__criticalityLevel__m,n__1,s__ComputerProgram)

QoSontology.kif 641-641 The number 1 argument of criticality level is an instance of computer program
s__domain(s__dependencyDelay__m,n__1,s__ComputerProgram)

QoSontology.kif 1249-1249 The number 1 argument of dependency delay is an instance of computer program
s__domain(s__dependencyType__m,n__1,s__ComputerProgram)

QoSontology.kif 1226-1226 The number 1 argument of dependency type is an instance of computer program
s__domain(s__environmentAttributes__m,n__1,s__ComputerProgram)

QoSontology.kif 459-459 The number 1 argument of environment attributes is an instance of computer program
s__domain(s__hasDependency__m,n__1,s__ComputerProgram)

QoSontology.kif 1243-1243 The number 1 argument of has dependency is an instance of computer program
s__domain(s__hasDependency__m,n__2,s__ComputerProgram)

QoSontology.kif 1244-1244 The number 2 argument of has dependency is an instance of computer program
s__domain(s__implementsProtocol__m,n__1,s__ComputerProgram)

ComputingBrands.kif 4015-4015 The number 1 argument of implements protocol is an instance of computer program
s__domain(s__maximumReplications__m,n__1,s__ComputerProgram)

QoSontology.kif 739-739 The number 1 argument of maximum replications is an instance of computer program
s__domain(s__minimumReplications__m,n__1,s__ComputerProgram)

QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program
s__domain(s__monitorApplicationData__m,n__2,s__ComputerProgram)

QoSontology.kif 972-972 The number 2 argument of monitor application data is an instance of computer program
s__domain(s__portNumber__m,n__1,s__ComputerProgram)

QoSontology.kif 766-766 The number 1 argument of port number is an instance of computer program
s__domain(s__programCopy__m,n__2,s__ComputerProgram)

QoSontology.kif 635-635 The number 2 argument of program copy is an instance of computer program
s__domain(s__programRunning__m,n__2,s__ComputerProgram)

QoSontology.kif 207-207 The number 2 argument of program running is an instance of computer program
s__domain(s__runningOn__m,n__1,s__ComputerProgram)

QoSontology.kif 185-185 The number 1 argument of running on is an instance of computer program
s__domain(s__runsOn__m,n__1,s__ComputerProgram)

QoSontology.kif 336-336 The number 1 argument of runs on is an instance of computer program
s__domain(s__settlingTime__m,n__1,s__ComputerProgram)

QoSontology.kif 711-711 The number 1 argument of settling time is an instance of computer program
s__domain(s__shutdownOf__m,n__2,s__ComputerProgram)

QoSontology.kif 411-411 The number 2 argument of shutdown of is an instance of computer program
s__domain(s__softwareHeartBeatRate__m,n__1,s__ComputerProgram)

QoSontology.kif 919-919 The number 1 argument of heart beat rate is an instance of computer program
s__domain(s__softwareVersion__m,n__1,s__ComputerProgram)

ComputingBrands.kif 3836-3836 The number 1 argument of software version is an instance of computer program
s__domain(s__startupOf__m,n__2,s__ComputerProgram)

QoSontology.kif 371-371 The number 2 argument of startup of is an instance of computer program

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3564-3572
( ! [V__P,V__C,V__U,V__T2] :
   (((s__instance(V__C,s__Object) &
         s__instance(V__T2,s__TimeInterval))
       =>
       (((s__instance(V__U,s__SoftwareUnInstallation) &
             (V__T2 = s__WhenFn(V__U))
           &
           s__dataProcessed(V__U,V__P)
         &
         s__instance(V__P,s__ComputerProgram) &
         s__located(V__U,V__C))
     =>
     (( ? [V__I, V__T1] :
         ((s__instance(V__T1,s__TimeInterval) &
             (s__instance(V__I,s__SoftwareInstallation) &
               (V__T1 = s__WhenFn(V__I))
             &
             s__dataProcessed(V__I,V__P)
           &
           s__instance(V__P,s__ComputerProgram) &
           s__located(V__I,V__C)
         &
         s__earlier(V__T1,V__T2)))))))))
)
)

ComputingBrands.kif 3574-3588

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3797-3811
( ! [V__P,V__C,V__U,V__T2] :
   (((s__instance(V__C,s__Object) &
         s__instance(V__T2,s__TimeInterval))
       =>
       (((s__instance(V__U,s__SoftwareUnInstallation) &
             (V__T2 = s__WhenFn(V__U))
           &
           s__dataProcessed(V__U,V__P)
         &
         s__instance(V__P,s__ComputerProgram) &
         s__located(V__U,V__C))
     =>
     (( ? [V__I, V__T1] :
         ((s__instance(V__T1,s__TimeInterval) &
             (s__instance(V__I,s__SoftwareInstallation) &
               (V__T1 = s__WhenFn(V__I))
             &
             s__dataProcessed(V__I,V__P)
           &
           s__instance(V__P,s__ComputerProgram) &
           s__located(V__I,V__C)
         &
         s__earlier(V__T1,V__T2)))))))))
)
)

ComputingBrands.kif 3574-3588
( ! [V__API] :
   ((s__instance(V__API,s__ApplicationProgrammerInterface) =>
       (( ? [V__P] :
           ((s__instance(V__P,s__ComputerProgram) &
               s__subProposition(V__API,V__P))))))
   )
)

ComputingBrands.kif 1896-1901
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3143-3150
( ! [V__CP] :
   ((s__instance(V__CP,s__ComputerProgramming) =>
       (( ? [V__C] :
           ((s__instance(V__C,s__ComputerProgram) &
               s__result(V__CP,V__C))))))
   )
)

Merge.kif 16009-16014
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1705-1715
( ! [V__FILE] :
   ((s__instance(V__FILE,s__SoftwareFile) =>
       (( ? [V__PROGRAM, V__SUBPROGRAM] :
           ((s__instance(V__SUBPROGRAM,s__Proposition) &
               s__instance(V__SUBPROGRAM,s__ContentBearingPhysical) &
               (s__instance(V__PROGRAM,s__ComputerProgram) &
                 s__subsumesContentInstance(V__PROGRAM,V__SUBPROGRAM)
               &
               s__containsInformation(V__FILE,V__SUBPROGRAM)))))))
)
)

Media.kif 1524-1530
( ! [V__G] :
   ((s__instance(V__G,s__GUIDock) =>
       (( ? [V__I, V__P, V__CP] :
           ((s__instance(V__P,s__ComputerProcess) &
               (s__instance(V__CP,s__ComputerProgram) &
                 s__programRunning(V__P,V__CP)
               &
               s__instance(V__I,s__Icon) &
               s__represents(V__I,V__P)
             &
             s__orientation(V__I,V__G,s__Inside)))))))
)
)

ComputingBrands.kif 2503-2511
( ! [V__MODULE_SERVER] :
   ((s__instance(V__MODULE_SERVER,s__PageModuleServer) =>
       (s__part(V__MODULE_SERVER,s__ComputerProgram)))
     )
   )

UXExperimentalTerms.kif 2217-2219
( ! [V__PACK] :
   ((s__instance(V__PACK,s__SoftwarePackage) =>
       (( ? [V__PROGRAM] :
           ((s__instance(V__PROGRAM,s__ComputerProgram) &
               s__part(V__PROGRAM,V__PACK))))))
   )
)

ComputerInput.kif 848-853
( ! [V__Process] :
   ((s__instance(V__Process,s__ComputerProcess) =>
       (( ? [V__Computer, V__Program] :
           ((s__instance(V__Computer,s__Computer) &
               s__computerRunning(V__Process,V__Computer)
             &
             s__instance(V__Program,s__ComputerProgram) &
             s__programRunning(V__Process,V__Program))))))
)
)

QoSontology.kif 155-162
( ! [V__RM] :
   ((s__instance(V__RM,s__RM_StartApplication) =>
       (( ? [V__Application, V__Process, V__RMCopy] :
           ((s__instance(V__Process,s__ComputerProcess) &
               s__instance(V__RMCopy,s__Agent) &
               s__instance(V__RMCopy,s__ComputerFile) &
               (s__instance(V__Application,s__ComputerProgram) &
                 s__programCopy(V__RMCopy,V__RM)
               &
               s__programRunning(V__Process,s__StartupFn(V__Application))
           &
           s__agent(V__Process,V__RMCopy)))))))
)
)

QoSontology.kif 597-604
( ! [V__State] :
   ((s__instance(V__State,s__ProcessState) =>
       (( ? [V__Program] :
           ((s__instance(V__Program,s__ComputerProgram) &
               ( ! [V__Process] :
                 ((s__instance(V__Process,s__ComputerProcess) =>
                     ((s__programRunning(V__Process,V__Program)
                       =>
                       (s__represents(V__State,V__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