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 | 域 abbreviatedDisplayTitle, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3156-3156 | 域 abbreviatedDisplayTitle, 3 and Language |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | 域子類 abbreviatedDisplayTitle, 2 and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3153-3153 | 例 abbreviatedDisplayTitle and TernaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3163-3163 | 子關係 abbreviatedDisplayTitle and displayTitle |
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 |
|