displayTitle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3146-3150 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3143-3143 | The number 1 argument of display title is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3145-3145 | The number 3 argument of display title is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3144-3144 | The number 2 argument of display title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3142-3142 | display title is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3151-3151 | display title is a subrelation of title in language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3274-3274 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3273-3273 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3272-3272 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3163-3163 | abbreviated display title is a subrelation of display title |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65812-65812 |