abbreviatedDisplayTitle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3157-3162 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | The number 1 argument of abbreviated display title is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3156-3156 | The number 3 argument of abbreviated display title is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | The number 2 argument of abbreviated display title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3153-3153 | abbreviated display title is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3163-3163 | abbreviated display title is a subrelation of display title |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2646-2646 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2645-2645 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2644-2644 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65764-65764 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3165-3169 |
|