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 | O argumento numero 1 de precedesInString e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24501-24501 | O argumento numero 2 de precedesInString e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24502-24502 | O argumento numero 3 de precedesInString e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24499-24499 | precedesInString e' uma instancia de Predicado Ternario |
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 e' uma sub-relacao de precedesInString |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24511-24511 | stringConcatenation e' uma sub-relacao 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 |
![]() |
![]() |