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 15455-15456 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15453-15453 | The number 1 argument of citizen is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15454-15454 | The number 2 argument of citizen is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15452-15452 | citizen is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15451-15451 | 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 561-561 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 554-554 | "公民" is the printable form of citizen in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14826-14826 | "公民" is the printable form of citizen in ChineseTraditionalLanguage |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14825-14825 | "citizen" is the printable form of citizen in english language |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1096-1114 |
|
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 1136-1147 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1167-1185 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1204-1210 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1212-1219 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1086-1094 |
|
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 1524-1528 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1096-1114 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4513-4521 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1563-1567 |
|
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 1167-1185 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1149-1165 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1074-1084 |
|
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 909-917 | For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1062-1071 | For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1122-1134 | For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
|
![]() |
![]() |