No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18724-18724 |
大学新生 是 大学生的位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18739-18739 |
大学三年级 是 大学生的位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18755-18755 |
大学高年级 是 大学生的位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18771-18771 |
大学二年级学生 是 大学生的位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15620-15620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15619-15619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15618-15618 |
|