third |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13184-13185 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13186-13186 | third e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13187-13187 | third e' uma sub-relacao de part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4774-4774 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4773-4773 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4772-4772 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57872-57872 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57871-57871 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57870-57870 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13189-13200 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13189-13200 |