Language(language) |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3106-3106 | The number 3 argument of title in language is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3252-3252 | The number 3 argument of translated title is an instance of language |