| 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 |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2097-2097 | Web browser is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2360-2360 | Search engine is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | Software system is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 365-365 | Startup block is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 406-406 | Shutdown block 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. | QoSontology.kif 594-594 | RMStartApplication 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. | QoSontology.kif 612-612 | Resource management program is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | Monitoring program is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2021-2021 | Utility 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 887-887 | IMovie 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 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 911-911 | IWork 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 981-981 | Setup Assistant 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 1911-1911 | Application Programmer Interface 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 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 2205-2205 | Firmware 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. | 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 2949-2949 | Flash 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 3247-3247 | AppleBooks is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3361-3361 | I-message is a subclass of computer program |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3381-3381 | I-tunes 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 4251-4251 | FMIP is a subclass of computer program |
|
|