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 16855-16856 | |
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 16854-16854 | Programa de Computador e' uma sub-classe de Procedimento |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | Programa de Computador e' uma sub-classe de Software |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1828-1828 | JOPES e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | AVCTP e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2949-2949 | AdobeFlashPlayer e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1947-1947 | App e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1970-1970 | AppleAppStore e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 917-917 | AppleFaceTime e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 955-955 | AppleFairPlay e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2932-2932 | AppleFastAppSwitcher e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 881-881 | AppleGarageBand e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 899-899 | AppleICloud e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 905-905 | AppleILife e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 893-893 | AppleIMessages e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 887-887 | AppleIMovie e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 911-911 | AppleIWork e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 988-988 | AppleMigrationAssistant e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 981-981 | AppleSetupAssistant e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1911-1911 | ApplicationProgrammerInterface e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 578-578 | AutomaticApplication e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | Bookmarklet e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2307-2307 | CalendaringProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2329-2329 | CameraProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 608-608 | ConsoleApplication e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4054-4054 | DHCPProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | EmailProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4251-4251 | FindMyIPhone e' uma sub-classe de Programa de Computador |
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 | O argumento numero 1 de CPUUtilizationFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1312-1312 | O argumento numero 1 de InitialProfileFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 441-441 | O argumento numero 1 de ShutdownFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 401-401 | O argumento numero 1 de StartupFn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1295-1295 | O argumento numero 1 de commandLineArguments e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 643-643 | O argumento numero 1 de criticalityLevel e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1244-1244 | O argumento numero 1 de dependencyDelay e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1221-1221 | O argumento numero 1 de dependencyType e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 461-461 | O argumento numero 1 de environmentAttributes e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1238-1238 | O argumento numero 1 de hasDependency e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1239-1239 | O argumento numero 2 de hasDependency e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4044-4044 | O argumento numero 1 de implementsProtocol e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 741-741 | O argumento numero 1 de maximumReplications e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 720-720 | O argumento numero 1 de minimumReplications e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 974-974 | O argumento numero 2 de monitorApplicationData e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 768-768 | O argumento numero 1 de portNumber e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | O argumento numero 2 de programCopy e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 209-209 | O argumento numero 2 de programRunning e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 187-187 | O argumento numero 1 de runningOn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 338-338 | O argumento numero 1 de runsOn e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 713-713 | O argumento numero 1 de settlingTime e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 413-413 | O argumento numero 2 de shutdownOf e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 921-921 | O argumento numero 1 de softwareHeartBeatRate e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3865-3865 | O argumento numero 1 de softwareVersion e' uma instancia de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 373-373 | O argumento numero 2 de startupOf e' uma instancia de Programa de Computador |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |