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 | 第三 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13188-13188 | 第三 是 部分 的 subrelation |
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 |