sortingTitle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3135-3139 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3132-3132 | The number 1 argument of sorting title is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3134-3134 | The number 3 argument of sorting title is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3133-3133 | The number 2 argument of sorting title is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3131-3131 | sorting title is an instance of ternary predicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3140-3140 | sorting 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 4582-4582 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4581-4581 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4580-4580 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65938-65938 |