nameBeforeKeyName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3379-3382 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3375-3375 | Le nombre 1 argument de nameBeforeKeyName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3376-3376 | Le nombre 2 argument de nameBeforeKeyName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3377-3377 | Le nombre 3 argument de nameBeforeKeyName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3374-3374 | nameBeforeKeyName est une instance de pr�dicat ternaire |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3378-3378 | nameBeforeKeyName est une sous-relation de precedesInString |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3950-3950 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3949-3949 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3948-3948 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65884-65884 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3388-3393 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3384-3386 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3395-3399 |