third |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13185-13186 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13187-13187 | third is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13188-13188 | third is a subrelation of 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 13190-13201 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13190-13201 |
|