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 16784-16785
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1708-1708
No TPTP formula. May not be expressible in strict first order. engineering.kif 1295-1295
No TPTP formula. May not be expressible in strict first order. engineering.kif 1294-1294
No TPTP formula. May not be expressible in strict first order. Merge.kif 16783-16783 Computer program is a subclass of procedure
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 813-813 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 1828-1828 JOPES is an instance of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2169-2169 Audio/Video Control Transport Protocol is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2949-2949 Flash is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1947-1947 App is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1970-1970 Apple app store is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 917-917 FaceTime is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 955-955 FairPlay is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2932-2932 Apple Fast App Switcher is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 881-881 GarageBand is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 899-899 ICloud is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 905-905 ILife is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 893-893 IMessages is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 887-887 IMovie is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 911-911 IWork is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 988-988 Migration Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 981-981 Setup Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1911-1911 Application Programmer Interface is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 578-578 Automatic application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2281-2281 Bookmarklet is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2307-2307 カレンダー is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2329-2329 Camera is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 608-608 Console application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4054-4054 DHCP program is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3102-3102 Mailer is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4251-4251 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 1319-1319 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 1312-1312 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 441-441 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 401-401 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 1295-1295 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 643-643 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 1244-1244 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 1221-1221 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 461-461 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 1238-1238 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 1239-1239 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 4044-4044 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 741-741 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 720-720 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 974-974 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 768-768 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 637-637 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 209-209 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 187-187 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 338-338 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 713-713 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 413-413 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 921-921 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 3865-3865 The number 1 argument of software version is an instance of computer program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 373-373 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 3593-3601
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3603-3617

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3826-3840
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3603-3617
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1929-1934
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3167-3174
No TPTP formula. May not be expressible in strict first order. Merge.kif 16791-16796
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1736-1746
No TPTP formula. May not be expressible in strict first order. Media.kif 1534-1540
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2544-2552
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2008-2010
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 819-824
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 157-164
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 599-606
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 562-570


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