citizen
|
|
Sigma KEE - 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 16914-16915 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16912-16912 |
The number 1 argument of citizen is an instance of human |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16913-16913 |
The number 2 argument of citizen is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16911-16911 |
citizen is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16910-16910 |
citizen is an instance of binary predicate |
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 14894-14894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14893-14893 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 221-221 |
|
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 1094-1114 |
|
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 1138-1151 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1173-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1212-1218 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1220-1227 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1082-1092 |
|
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 1532-1536 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1094-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4543-4551 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1571-1575 |
|
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 1173-1193 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1153-1171 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1068-1080 |
|
statement
|
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 885-893 |
For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1054-1065 |
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1122-1136 |
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law |
 |
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|