StringLengthFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24447-24452 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24445-24445 | StringLengthFn 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24444-24444 | StringLengthFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24443-24443 | StringLengthFn 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24442-24442 | StringLengthFn 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | StringLengthFn 的 range 是 非负整数 的实例 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4674-4674 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4673-4673 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4672-4672 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65545-65545 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3068-3089 |
|
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. | ComputingBrands.kif 2018-2023 | |
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. | Mid-level-ontology.kif 24399-24404 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24465-24467 | 符号串 是 非负整数 characters long 若且唯若 那个 非负整数 equal 那个 符号串 的 length |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3165-3167 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3152-3154 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3175-3177 |