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 16754-16755
(
domain
citizen
1
Human
)
Merge.kif 16752-16752
citizen
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
citizen
2
Nation
)
Merge.kif 16753-16753
citizen
の数値 2 引数は
国民
の
instance
では %n
(
instance
citizen
AsymmetricRelation
)
Merge.kif 16751-16751
citizen
は
非対称関係
の
instance
では %n
(
instance
citizen
BinaryPredicate
)
Merge.kif 16750-16750
citizen
は
2進述語
の
instance
では %n
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
では %n
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
RegionalLawFn
国民
は
人[人間]
が
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
人[人間]
は
国民
% の
citizen
では %n
オブジェクト
人[人間]
は
オブジェクト
に
located
して %n
人[人間]
は
国民
に
located
して %n
(=>
(
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
Expellee
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
-NATION% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
時間位置
は
時間間隔
の
instance
では %n
工程
オブジェクト
オブジェクト
は
国民
の
instance
では %n
オブジェクト
は
エンティティー
-NATION と
equal
では
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
-NATION に
end
s %n{ない}
時間位置
は
工程
の
time
の existence の
part
では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
工程
工程
は
VotingFn
Election
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
RegionalLawFn
国民
は
人[人間]
にタイプ
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
ExclusiveMaleSuffrage
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
Male
は
人[人間]
の
attribute
では %n
(=>
(
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
ExclusiveMaleSuffrage
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
Election
は
ElectionFn
国民
の
instance
では %n
工程
は
VotingFn
Election
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
Male
は
人[人間]
の
attribute
では %n
(=>
(
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
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
DisplacedPerson
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
エンティティー
LACE に
located
して %n
エンティティー
は
オブジェクト
% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
LACE は
partly
に
オブジェクト
に 位置して
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
エンティティー
LACE に
located
して %n
エンティティー
は
オブジェクト
% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
LACE は
partly
に
オブジェクト
に 位置して %n
consequent
(=>
(
and
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1570-1574
chiefOfState
国民
,
ポジション
and
人[人間]
国民
は
国民
の
instance
では %n
人[人間]
は
国民
% の
citizen
では %n
(=>
(
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
では %n
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
RegionalLawFn
国民
は
人[人間]
が
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行することはを
allow
s %n{ない}
(=>
(
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
diplomaticRepresentationType
国民
,
ポジション
and
AutonomousAgent
ポジション
は
DiplomaticAgent
の
subattribute
では %n
人[人間]
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
国民
% の
citizen
では %n
diplomaticRepresentativeInRole
国民
,
人[人間]
,
ポジション
and
AutonomousAgent
(=>
(
and
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1609-1613
headOfGovernment
国民
,
ポジション
and
人[人間]
国民
は
国民
の
instance
では %n
人[人間]
は
国民
% の
citizen
では %n
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
% の
citizen
では は
時間位置
の
during
holds %n{ない}
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
は
国民
% の
citizen
では %n
RegionalLawFn
国民
は
人[人間]
にタイプ
エンティティー
エンティティー
and
エンティティー
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
エンティティー
の
YearDuration
(s)
人[人間]
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
国民
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
CompulsorySuffrageLaw
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
RegionalLawFn
地政学的地域
は
地政学的地域
にタイプ
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
地政学的地域
% の
citizen
では %n
suffrageAgeMinimum
地政学的地域
and
エンティティー
の
YearDuration
(s)
エンティティー
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
地政学的地域
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
UniversalSuffrageLaw
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
Election
,
実数
and
実数
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
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
では %n ?ELECTION は
ElectionFn
?COUNTRY の
instance
では %n ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
?VOTER は ?COUNTRY% の
citizen
では %n
は
VoterCitizenshipRequirement
の情報を
contain
s %n{ない}
(
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
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?AGENT の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?AGENT は
VotingFn
?ELECTION を
agent
として行う
capable
では %n
は
UniversalSuffrageLaw
の情報を
contain
s %n{ない}
(
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
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?VOTER の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?VOTING ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
は
CompulsorySuffrageLaw
の情報を
contain
s %n{ない}
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