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 | The number 1 argument of precedes in string is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24501-24501 | The number 2 argument of precedes in string is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | The number 3 argument of precedes in string is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24499-24499 | precedes in string is an instance of ternary predicate |
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 | name before key name is a subrelation of precedes in string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24511-24511 | string concatenation is a subrelation of precedes in string |
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 |
![]() |
![]() |