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 | O argumento numero 1 de StringLengthFn e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24444-24444 | StringLengthFn e' uma instancia de Relacao com Valor Unico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24443-24443 | StringLengthFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24442-24442 | StringLengthFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | O contra-dominio de StringLengthFn e' uma instancia de Numero Inteiro nao-negativo |
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 | stringLength Numero Inteiro nao-negativo and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica |
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 |
|