| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16805-16805 | Programme d'ordinateur est une sous-classe de proc�dure |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | Programme d'ordinateur est une sous-classe de Software |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2097-2097 | WebBrowser est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2360-2360 | SearchEngine est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | SoftwareSystem est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 365-365 | StartupBlock est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 406-406 | ShutdownBlock est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 578-578 | AutomaticApplication est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 594-594 | RMStartApplication est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 608-608 | ConsoleApplication est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 612-612 | ResourceManagementProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | MonitoringProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2021-2021 | Utility est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 881-881 | AppleGarageBand est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 887-887 | AppleIMovie est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 893-893 | AppleIMessages est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 899-899 | AppleICloud est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 905-905 | AppleILife est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 911-911 | AppleIWork est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 917-917 | AppleFaceTime est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 955-955 | AppleFairPlay est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 981-981 | AppleSetupAssistant est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 988-988 | AppleMigrationAssistant est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1911-1911 | ApplicationProgrammerInterface est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1947-1947 | App est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1970-1970 | AppleAppStore est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | AVCTP est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2205-2205 | Firmware est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | Bookmarklet est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2307-2307 | CalendaringProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2329-2329 | CameraProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2932-2932 | AppleFastAppSwitcher est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2949-2949 | AdobeFlashPlayer est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | EmailProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3247-3247 | IBooks est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3361-3361 | IMessage est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3381-3381 | ITunes est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4054-4054 | DHCPProgram est une sous-classe de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4251-4251 | FindMyIPhone est une sous-classe de programme d'ordinateur |
|
|