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 | precedesInString 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | precedesInString 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24503-24503 | precedesInString 的 3 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24500-24500 | precedesInString 是 三元谓语 的 instance |
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 是 precedesInString 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24512-24512 | stringConcatenation 是 precedesInString 的 subrelation |
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 |