fullName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3291-3297 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3288-3288 | 域 fullName, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3289-3289 | 域 fullName, 2 and Entity |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3287-3287 | 例 fullName and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3286-3286 | 例 fullName and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3290-3290 | 子關係 fullName and 名 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3506-3506 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3505-3505 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3504-3504 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3298-3298 | 子關係 傳統的長名 and fullName |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3310-3310 | 子關係 fullNameIndexOrder and fullName |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65835-65835 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3312-3317 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3355-3359 |
|