keyName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3282-3284 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3279-3279 | 域 keyName, 1 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3280-3280 | 域 keyName, 2 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3276-3276 | 例 keyName and AntisymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3275-3275 | 例 keyName and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3278-3278 | 例 keyName and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3277-3277 | 例 keyName and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3281-3281 | 子關係 keyName and subString |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3718-3718 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3717-3717 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3716-3716 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65860-65860 |
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 3319-3326 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3386-3390 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3413-3417 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3346-3353 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3339-3344 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3452-3457 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3461-3466 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3370-3372 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3402-3404 |