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 16776-16777
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16774-16774	域公民, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16775-16775	域公民, 2 and Nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16773-16773	例公民 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16772-16772	例公民 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 1132-1152	公民 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.	Military.kif 772-778	公民 Human and Nation Object 位於 Human and Object 位於 Human and Nation
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 1176-1189	次提案強制選舉法 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 1211-1231	次提案強制選舉法 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 1250-1256	次提案獨家男性選舉權 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 1258-1265	次提案獨家男性選舉權 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 1120-1130	次提案普選法 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 1570-1574	Nation 州 Position 的 chief 對於 Human 例 Nation and Nation 公民 Human and Nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	公民 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 4582-4590	% 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 1609-1613	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 1211-1231	次提案強制選舉法 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 1191-1209	次提案強制選舉法 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 1106-1118	次提案普選法 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 923-931	包含信息 ?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 1092-1103	包含信息 ?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 1160-1174	包含信息 ?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