SocialRole(身分) |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 177-177 | 难民 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 185-185 | 无国籍人 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22596-22596 | 学生 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2135-2135 | 恐怖分子 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22606-22606 | 游客 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17250-17250 | 失业的 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22199-22199 | 老将 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22303-22303 | 寡 是 身分 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22234-22234 | 职业角色 是 身分 的 subclass |
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. | chinese_format.kif 1239-1239 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1699-1699 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 917-917 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 450-450 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 453-453 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2601-2601 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 869-869 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 455-455 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 489-489 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 938-938 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 454-454 |