| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3815-3815 |
例 Antivaxxer and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22169-22169 |
例 名人 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22295-22295 |
例 平民 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 298-298 |
例 平民被拘禁者 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Justice.kif 84-84 |
例 Criminal and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 54-54 |
例 流離失所者 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22368-22368 |
例 持不同政見 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2459-2459 |
例 敵人 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 113-113 |
例 撤離者 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 142-142 |
例 被驅逐 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 220-220 |
例 Founder and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 173-173 |
例 人類奴隸 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 80-80 |
例 國內流離失所者 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Communications.kif 452-452 |
例 互聯網用戶 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1778-1778 |
例 投資者 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22184-22184 |
例 騎士 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 51-51 |
例 mausaharati and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 169-169 |
例 移民 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22454-22454 |
例 激進 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2279-2279 |
例 Nazi and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1422-1422 |
例 PrinceConsort and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 237-237 |
例 囚犯 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 252-252 |
例 戰俘 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1397-1397 |
例 女王 and SocialRole |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1411-1411 |
例 QueenConsort and SocialRole |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
