precedesInString |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24503-24510 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24500-24500 | Le nombre 1 argument de precedesInString est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24501-24501 | Le nombre 2 argument de precedesInString est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | Le nombre 3 argument de precedesInString est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24499-24499 | precedesInString est une instance de pr�dicat ternaire |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4198-4198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4197-4197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4196-4196 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3396-3396 | nameBeforeKeyName est une sous-relation de precedesInString |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24511-24511 | stringConcatenation est une sous-relation de precedesInString |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65913-65913 |
antecedent |
![]() |
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. | Mid-level-ontology.kif 24519-24523 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24513-24517 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24519-24523 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24959-24963 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24971-24975 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24977-24981 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24947-24951 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24953-24957 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24965-24969 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3382-3384 |
![]() |
![]() |