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 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 contains 选民公民身份要求 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1092-1103 对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 普选法 的资料
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE contains 强制选举法 的资料


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