creator |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13714-13715 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13712-13712 | O argumento numero 1 de creator e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13713-13713 | O argumento numero 2 de creator e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13711-13711 | creator e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3146-3146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3145-3145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3144-3144 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 137-137 | composer e' uma sub-relacao de creator |
No TPTP formula. May not be expressible in strict first order. | Music.kif 156-156 | lyricist e' uma sub-relacao de creator |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13716-13716 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 30-34 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 93-97 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 62-66 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 57-59 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2950-2950 | creator AdobeComputerCorp and AdobeFlashPlayer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1971-1971 | creator AppleComputer and AppleAppStore |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1858-1858 | creator AppleComputerCorporation and AirPlay |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1900-1900 | creator AppleComputerCorporation and AirPrint |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 956-956 | creator AppleComputerCorporation and AppleFairPlay |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 989-989 | creator AppleComputerCorporation and AppleMigrationAssistant |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 975-975 | creator AppleComputerCorporation and AppleSafari |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 982-982 | creator AppleComputerCorporation and AppleSetupAssistant |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2433-2433 | creator AppleComputerCorporation and CocoaTouch |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3293-3293 | creator AppleComputerCorporation and IBooks |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3306-3306 | creator AppleComputerCorporation and IBookstore |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4591-4591 | creator ByteDance and TikTok |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4622-4622 | creator ByteDance and Toutiao |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4677-4677 | creator EBay and EBayWebSite |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 69-69 | creator FacebookCorporation and Facebook |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3100-3100 | creator GoogleCorporation and GMail |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4635-4635 | creator GoogleCorporation and YouTube |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1770-1770 | creator MicrosoftCorporation and ActiveSync |