No TPTP formula. May not be expressible in strict first order. | Merge.kif 17264-17264 | 地位 是 身分 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | 体力劳动 是 地位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18787-18787 | 大学生的位置 是 地位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18961-18961 | 建模位置 是 地位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | 宗教立场 是 地位 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | 外国服务职位 是 地位 的 subclass |