|
|
   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 | 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1828-1828 | JOPES est une instance 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 2949-2949 | AdobeFlashPlayer 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 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 2932-2932 | AppleFastAppSwitcher 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 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 893-893 | AppleIMessages 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 911-911 | AppleIWork 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 981-981 | AppleSetupAssistant 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. | QoSontology.kif 578-578 | AutomaticApplication 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. | QoSontology.kif 608-608 | ConsoleApplication 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 3102-3102 | EmailProgram 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 |
| 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 | Le nombre 1 argument de CPUUtilizationFn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1312-1312 | Le nombre 1 argument de InitialProfileFn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 441-441 | Le nombre 1 argument de ShutdownFn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 401-401 | Le nombre 1 argument de StartupFn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1295-1295 | Le nombre 1 argument de commandLineArguments est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 643-643 | Le nombre 1 argument de criticalityLevel est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1244-1244 | Le nombre 1 argument de dependencyDelay est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1221-1221 | Le nombre 1 argument de dependencyType est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 461-461 | Le nombre 1 argument de environmentAttributes est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1238-1238 | Le nombre 1 argument de hasDependency est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1239-1239 | Le nombre 2 argument de hasDependency est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4044-4044 | Le nombre 1 argument de implementsProtocol est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 741-741 | Le nombre 1 argument de maximumReplications est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 720-720 | Le nombre 1 argument de minimumReplications est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 974-974 | Le nombre 2 argument de monitorApplicationData est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 768-768 | Le nombre 1 argument de portNumber est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | Le nombre 2 argument de programCopy est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 209-209 | Le nombre 2 argument de programRunning est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 187-187 | Le nombre 1 argument de runningOn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 338-338 | Le nombre 1 argument de runsOn est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 713-713 | Le nombre 1 argument de settlingTime est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 413-413 | Le nombre 2 argument de shutdownOf est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 921-921 | Le nombre 1 argument de softwareHeartBeatRate est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3865-3865 | Le nombre 1 argument de softwareVersion est une instance de programme d'ordinateur |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 373-373 | Le nombre 2 argument de startupOf est une instance de programme d'ordinateur |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| consequent |
|
|
|
|
|
