precedesInString |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24504-24511 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24501-24501 | 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 24502-24502 | 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 24503-24503 | 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 24500-24500 | 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 24512-24512 | 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 24520-24524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24514-24518 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24520-24524 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24960-24964 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24972-24976 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24978-24982 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24948-24952 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24954-24958 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24966-24970 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3382-3384 |