citizen - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 16825-16826
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16823-16823	域公民, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16824-16824	域公民, 2 and Nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16822-16822	例公民 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16821-16821	例公民 and BinaryPredicate

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 1096-1116	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 151-167	持有期間 TimePosition and attribute Entity and 被驅逐公民 Entity and entity-NATION 例 TimePosition and TimeInterval Process Object 例 Object and Nation 等於 Object and entity-NATION 例 Process and 易位起源 Process and Object 患者 Process and Entity 目的地 Process and entity-NATION 時間部分 TimePosition and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1140-1153	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election Process 例 Process and 選舉的 voting agent Process and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1214-1220	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1222-1229	次提案獨家男性選舉權 and Nation 的 regional 法律公民 Human and Nation 例選舉 and Nation 的 election 例 Process and 選舉的 voting agent Process and Human attribute Human and 男
No TPTP formula. May not be expressible in strict first order.	Government.kif 1084-1094	次提案普選法 and Nation 的 regional 法律公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 70-78	持有期間 TimePosition and attribute entity and 流離失所者棲息 entity and entity 位於 entity and entityLACE 公民 entity and Object 部分位於 entityLACE and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	持有期間 TimePosition and attribute entity and 國內流離失所者棲息 entity and entity 位於 entity and entityLACE 公民 entity and Object 部分位於 entityLACE and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1534-1538	Nation 州 Position 的 chief 對於 Human 例 Nation and Nation 公民 Human and Nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 4546-4554	% Nation %3 子屬性 Position and 外交代表 Human 例 Human and Human 公民 Human and Nation Nation 是對於 Position 和 AutonomousAgent 的外交代表在角色 Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1573-1577	Nation 是對於 %3 的政府領導例 Nation and Nation 公民 Human and Nation
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 195-201	持有期間 TimePosition and attribute entity and 無國籍人例 Entity and Nation 持有期間 TimePosition and 公民 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1175-1195	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1155-1173	次提案強制選舉法 and GeopoliticalArea 的 regional 法律授予義務 entity entity, entity and entity 公民 entity and GeopoliticalArea 測量 entity and 年持續時間是 GeopoliticalArea 的 suffrage 最小年紀年齡 entity and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and GeopoliticalArea 的 election entity 例 entity and entity 的 voting agent entity and entity , GeopoliticalArea 的 regional 法律 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Government.kif 1070-1082	次提案普選法 and Nation 的 regional 法律 Human 選舉, RealNumber and RealNumber 公民 Human and Nation 測量 RealNumber and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 RealNumber and 年持續時間大於或等於 RealNumber and RealNumber 例選舉 and Nation 的 election 能力選舉的 voting , agent and Human

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 887-895	包含信息 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER 例 ?COUNTRY and Nation 例 ?ELECTION and ?COUNTRY 的 election 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER 公民 ?VOTER and ?COUNTRY and 選民公民身份要求
No TPTP formula. May not be expressible in strict first order.	Government.kif 1056-1067	包含信息 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?AGENT and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?AGENT and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election 能力 ?ELECTION 的 voting , agent and ?AGENT and 普選法
No TPTP formula. May not be expressible in strict first order.	Government.kif 1124-1138	包含信息 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE 公民 ?VOTER and ?POLITY 測量 ?VOTINGAGE and 年持續時間是 ?POLITY 的 suffrage 最小年紀年齡 ?VOTER and 測量 ?AGE and 年持續時間大於或等於 ?AGE and ?VOTINGAGE 例 ?ELECTION and ?POLITY 的 election ?VOTING 例 ?VOTING and ?ELECTION 的 voting agent ?VOTING and ?VOTER and 強制選舉法

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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