Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  citizen

Sigma KEE - citizen
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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners