No TPTP formula. May not be expressible in strict first order. | Merge.kif 16805-16805 | 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 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2097-2097 | WebBrowser e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2360-2360 | SearchEngine e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 268-268 | SoftwareSystem e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 365-365 | StartupBlock e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 406-406 | ShutdownBlock 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. | QoSontology.kif 594-594 | RMStartApplication 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. | QoSontology.kif 612-612 | ResourceManagementProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 857-857 | MonitoringProgram e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2021-2021 | Utility 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 887-887 | AppleIMovie 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 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 911-911 | AppleIWork 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 981-981 | AppleSetupAssistant 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 1911-1911 | ApplicationProgrammerInterface 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 2169-2169 | AVCTP e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2205-2205 | Firmware 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. | 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 2949-2949 | AdobeFlashPlayer 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 3247-3247 | IBooks e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3361-3361 | IMessage e' uma sub-classe de Programa de Computador |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3381-3381 | ITunes 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 4251-4251 | FindMyIPhone e' uma sub-classe de Programa de Computador |