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