Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
citizen
Sigma KEE - citizen
citizen
appearance as argument number 1
(
documentation
citizen
ChineseLanguage
"(
citizen
?PERSON ?NATION)的意思是
Human
?PERSON 是
Nation
?NATION 公民。")
chinese_format.kif 3754-3755
(
documentation
citizen
EnglishLanguage
"(
citizen
?PERSON ?NATION) means that the
Human
?PERSON is a citizen of
Nation
?NATION.")
Merge.kif 16776-16777
(
domain
citizen
1
Human
)
Merge.kif 16774-16774
公民
的 1 数量 是
人类
的
instance
(
domain
citizen
2
Nation
)
Merge.kif 16775-16775
公民
的 2 数量 是
国家
的
instance
(
instance
citizen
AsymmetricRelation
)
Merge.kif 16773-16773
公民
是
非对称关系
的
instance
(
instance
citizen
BinaryPredicate
)
Merge.kif 16772-16772
公民
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
citizen
"%1 %n 是 %2 的
citizen
")
chinese_format.kif 553-553
(
format
EnglishLanguage
citizen
"%1 is %n a
citizen
of %2")
english_format.kif 558-558
(
format
FrenchLanguage
citizen
"%1 est %n un citoyen de %2")
french_format.kif 324-324
(
format
ItalianLanguage
citizen
"%1 è uncittadino di %2")
relations-it.txt 44-44
(
format
JapaneseLanguage
citizen
"%1 は %2% の
citizen
では %n")
japanese_format.kif 2092-2092
(
format
PortugueseLanguage
citizen
"%1 e' %n um cidadao de %2")
portuguese_format.kif 276-276
(
format
de
citizen
"%1 ist der buerger von %2")
relations-de.txt 724-724
(
format
hi
citizen
"%1 %2 kaa naagarika hai")
relations-hindi.txt 86-86
(
format
ro
citizen
"%1 %n{nu} este un
citizen
%t{cetãþean} al lui %2")
relations-ro.kif 345-345
(
format
sv
citizen
"%1 är %n{inte} en medborgare i %2")
relations-sv.txt 358-358
(
format
tg
citizen
"%1 ay ang mamamayan ng %2")
relations-cb.txt 78-78
(
termFormat
ChineseLanguage
citizen
"公民")
chinese_format.kif 554-554
(
termFormat
ChineseTraditionalLanguage
citizen
"公民")
domainEnglishFormat.kif 14885-14885
(
termFormat
EnglishLanguage
citizen
"citizen")
domainEnglishFormat.kif 14884-14884
(
termFormat
tg
citizen
"mamamayan")
relations-tg.txt 105-105
antecedent
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
如果
人类
是
国家
的
citizen
和 不存在
客体
这样
那个 人类
是
located
在
那个 客体
,
然后
那个 人类
是
located
在
那个 国家
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
如果
被驱逐
是
实体
的
attribute
和
那个 实体
是
另一个 实体
-NATION 的
citizen
在
时间位置
holdsDuring
和
那个 时间位置
是
时距
的
instance
,
然后 有存在
过程
和
客体
这样
那个 客体
是
国家
的
instance
和
那个 客体
不
equal
那个 另外 实体
-NATION 和
那个 过程
是
易位
的
instance
和
那个 客体
是
那个 过程
的源头 和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 实体
-NATION 结束 和
那个 时间位置
时段 是
那个 过程
出现 的
time
时段 的一
part
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT))))
Government.kif 1176-1189
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后 有存在
过程
这样
那个 过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1258-1265
如果
独家男性选举权
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
选举
是
那个 国家
的
election
的
instance
和
过程
是
那个 选举
的
voting
的
instance
和
那个 人类
是
那个 过程
的
agent
,
然后
男
是
那个 人类
的
attribute
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
Government.kif 1120-1130
如果
普选法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
和
实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
另一个 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
如果
流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 不 是
partlyLocated
在
那个 客体
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
如果
国内流离失所者
是
实体
的
attribute
和
那个 实体
住在
另一个 实体
和
那个 另外 实体
是
located
在
那个 实体
LACE 和
那个 实体
是
客体
的
citizen
在
时间位置
holdsDuring
,
然后
那个 实体
LACE 是
partlyLocated
在
那个 客体
consequent
(=>
(
and
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1570-1574
如果
国家
州
地位
的
chief
对于
人类
和
那个 国家
是
国家
的
instance
,
然后
那个 人类
是
那个 国家
的
citizen
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1132-1152
如果
人类
是
国家
的
citizen
和
普选法
是
那个 国家
的
regional
法律 的
subProposition
,
然后
那个 国家
的
regional
法律 允许
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
and
(
diplomaticRepresentationType
?COUNTRY1 ?ROLE ?COUNTRY2)
(
subAttribute
?ROLE
DiplomaticAgent
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
citizen
?PERSON ?COUNTRY1)
(
diplomaticRepresentativeInRole
?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4582-4590
(=>
(
and
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1609-1613
如果
国家
是 对于 %3 的政府领导 和
那个 国家
是
国家
的
instance
,
然后
人类
是
那个 国家
的
citizen
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
如果
无国籍人
是
实体
的
attribute
在
时间位置
holdsDuring
和
另一个 实体
是
国家
的
instance
,
然后
那个 实体
不 是
那个 另外 实体
的
citizen
在
那个 时间位置
holdsDuring
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?AGENT))
Government.kif 1211-1231
如果
强制选举法
是
国家
的
regional
法律 的
subProposition
和
人类
是
那个 国家
的
citizen
,
然后
那个 国家
的
regional
法律 要求
那个 人类
执行 对所有
实体
,
另一个 实体
, and 和
第三 实体
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实体
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实体
年持续时间
和
那个 另外 实体
是
greaterThanOrEqualTo
那个 实体
和
那个 第三 实体
是
那个 国家
的
election
的
instance
,
然后 有存在
第四 实体
这样
那个 第四 实体
是
那个 第三 实体
的
voting
的
instance
和
那个 人类
是
那个 第四 实体
的
agent
的任务
(=>
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
confersObligation
(
forall
(?AGENT ?VOTINGAGE ?AGE ?ELECTION)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?AGENT)))))
(
RegionalLawFn
?POLITY) ?POLITY))
Government.kif 1191-1209
如果
强制选举法
是
地缘政治区域
的
regional
法律 的
subProposition
,
然后
那个 地缘政治区域
的
regional
法律 要求
那个 地缘政治区域
执行 对所有
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
如果
那个 实体
是
那个 地缘政治区域
的
citizen
和
那个 另外 实体
年持续时间
是
那个 地缘政治区域
的
suffrage
最小年纪 和
那个 实体
的
age
是
那个 第三 实体
年持续时间
和
那个 第三 实体
是
greaterThanOrEqualTo
那个 另外 实体
和
那个 第四 实体
是
那个 地缘政治区域
的
election
的
instance
,
然后 有存在
第五 实体
这样
那个 第五 实体
是
那个 第四 实体
的
voting
的
instance
和
那个 实体
是
那个 第五 实体
的
agent
的任务
(=>
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
forall
(?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))))
Government.kif 1106-1118
如果
普选法
是
国家
的
regional
法律 的
subProposition
,
然后 对所有
人类
,
选举
,, ,
实数
, and 和
另一个 实数
如果
那个 人类
是
那个 国家
的
citizen
和
那个 实数
年持续时间
是
那个 国家
的
suffrage
最小年纪 和
那个 人类
的
age
是
那个 另外 实数
年持续时间
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 选举
是
那个 国家
的
election
的
instance
,
然后
那个 人类
能够担当
主事
的角色做
那个 选举
的
voting
statement
(
containsInformation
(
forall
(?COUNTRY ?ELECTION ?VOTING ?VOTER)
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?ELECTION
(
ElectionFn
?COUNTRY))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
citizen
?VOTER ?COUNTRY)))
VoterCitizenshipRequirement
)
Government.kif 923-931
对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
如果 ?COUNTRY 是
国家
的
instance
和 ?ELECTION 是 ?COUNTRY 的
election
的
instance
和 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
,
然后 ?VOTER 是 ?COUNTRY 的
citizen
contains
选民公民身份要求
的资料
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
对所有 ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?AGENT 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?AGENT 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 ?AGENT 能够担当
主事
的角色做 ?ELECTION 的
voting
contains
普选法
的资料
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
对所有 ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE, and 和 ?AGE
如果 ?VOTER 是 ?POLITY 的
citizen
和 ?VOTINGAGE
年持续时间
是 ?POLITY 的
suffrage
最小年纪 和 ?VOTER 的
age
是 ?AGE
年持续时间
和 ?AGE 是
greaterThanOrEqualTo
?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的
election
的
instance
,
然后 有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的
voting
的
instance
和 ?VOTER 是 ?VOTING 的
agent
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