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 and SymbolicString |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24444-24444 | 例 StringLengthFn and SingleValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24443-24443 | 例 StringLengthFn and TotalValuedRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24442-24442 | 例 StringLengthFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | 範圍 StringLengthFn and NonnegativeInteger |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24465-24467 | SymbolicString 是 NonnegativeInteger characters long 等於 NonnegativeInteger and SymbolicString 的 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 |
|