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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3761-3761
No TPTP formula. May not be expressible in strict first order. Merge.kif 15588-15589
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1709-1709
No TPTP formula. May not be expressible in strict first order. engineering.kif 1293-1293
No TPTP formula. May not be expressible in strict first order. engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order. Merge.kif 15587-15587 Computer program is a subclass of procedure
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 842-842 Computer program is a subclass of Software

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1809-1809 JOPES is an instance of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2149-2149 Audio/Video Control Transport Protocol is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2922-2922 Flash is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1927-1927 App is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1950-1950 Apple app store is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 894-894 FaceTime is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 932-932 FairPlay is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2905-2905 Apple Fast App Switcher is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 858-858 GarageBand is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 876-876 ICloud is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 882-882 ILife is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 870-870 IMessages is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 864-864 IMovie is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 888-888 IWork is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 965-965 Migration Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 958-958 Setup Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1891-1891 Application Programmer Interface is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 576-576 Automatic application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2261-2261 Bookmarklet is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2287-2287 カレンダー is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2309-2309 Camera is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 606-606 Console application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3979-3979 DHCPProgram is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3075-3075 Mailer is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4176-4176 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
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1324-1324 The number 1 argument of CPU utilization is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1317-1317 The number 1 argument of initial profile is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 439-439 The number 1 argument of shutdown is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 399-399 The number 1 argument of startup is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1300-1300 The number 1 argument of command line arguments is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 641-641 The number 1 argument of criticality level is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1249-1249 The number 1 argument of dependency delay is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1226-1226 The number 1 argument of dependency type is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 459-459 The number 1 argument of environment attributes is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1243-1243 The number 1 argument of has dependency is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1244-1244 The number 2 argument of has dependency is an instance of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3969-3969 The number 1 argument of implements protocol is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 739-739 The number 1 argument of maximum replications is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 718-718 The number 1 argument of minimum replications is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 972-972 The number 2 argument of monitor application data is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 766-766 The number 1 argument of port number is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 635-635 The number 2 argument of program copy is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 207-207 The number 2 argument of program running is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 185-185 The number 1 argument of running on is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 336-336 The number 1 argument of runs on is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 711-711 The number 1 argument of settling time is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 411-411 The number 2 argument of shutdown of is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 919-919 The number 1 argument of heart beat rate is an instance of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3811-3811 The number 1 argument of software version is an instance of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3812-3812 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
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3585-3593
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3830-3843
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3595-3609

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3830-3843
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3595-3609
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1909-1914
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3157-3164
No TPTP formula. May not be expressible in strict first order. Merge.kif 15595-15600
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1713-1723
No TPTP formula. May not be expressible in strict first order. Media.kif 1524-1530
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2513-2521
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2212-2214
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 848-853
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 155-162
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 597-604
No TPTP formula. May not be expressible in strict first order. 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners