citizen |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3754-3755 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16754-16755 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16752-16752 | 公民 的 1 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | 公民 的 2 数量 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16751-16751 | 公民 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16750-16750 | 公民 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 553-553 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 558-558 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 324-324 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 44-44 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2092-2092 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 276-276 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 724-724 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 86-86 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 345-345 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 358-358 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 78-78 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 554-554 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14885-14885 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14884-14884 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 105-105 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 772-778 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1176-1189 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1211-1231 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1250-1256 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1258-1265 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1120-1130 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1570-1574 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1609-1613 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 195-201 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1211-1231 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1191-1209 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1106-1118 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
|