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
Le nombre 1 argument de
citizen
est une
instance
de
humain
(
domain
citizen
2
Nation
)
Merge.kif 16753-16753
Le nombre 2 argument de
citizen
est une
instance
de
nation
(
instance
citizen
AsymmetricRelation
)
Merge.kif 16751-16751
citizen
est une
instance
de
relation asym�trique
(
instance
citizen
BinaryPredicate
)
Merge.kif 16750-16750
citizen
est une
instance
de
pr�dicat binaire
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
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
and
(
citizen
?P ?C)
(
not
(
exists
(?L)
(
located
?P ?L))))
(
located
?P ?C))
Military.kif 772-778
Humain
est un
citoyen
de
nation
objet
humain
est
situ
� �
objet
humain
est
situ
� �
nation
(=>
(
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
est un
attribut
de
entit�
entit�
est un
citoyen
de
entit�
-NATION
pendant
position temporel
position temporel
est une
instance
de
interval temporel
processus
objet
objet
est une
instance
de
nation
objet
est
entit�
-NATION
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
-NATION
position temporel
est une
partie
de
temps
d'existence de
processus
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
processus
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
RegionalLawFn
nation
oblige
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
agent
Male
est un
attribut
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
Election
est une
instance
de
ElectionFn
nation
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
humain
Male
est un
attribut
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
agent
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
DisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
InternallyDisplacedPerson
est un
attribut
de
entit�
entit�
vie
�
entit�
entit�
est
situ
� �
entit�
LACE
entit�
est un
citoyen
de
objet
pendant
position temporel
entit�
LACE est
partiellement
localis� �
objet
consequent
(=>
(
and
(
chiefOfState
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1570-1574
chiefOfState
nation
,
position
and
humain
nation
est une
instance
de
nation
humain
est un
citoyen
de
nation
(=>
(
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
Humain
est un
citoyen
de
nation
UniversalSuffrageLaw
est une
sous
-proposition de
RegionalLawFn
nation
RegionalLawFn
nation
autorise
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
nation
,
position
and
AutonomousAgent
position
est un
sous
-attribut de
DiplomaticAgent
humain
humain
est une
instance
de
humain
humain
est un
citoyen
de
nation
diplomaticRepresentativeInRole
nation
,
humain
,
position
and
AutonomousAgent
(=>
(
and
(
headOfGovernment
?AREA ?POSITION ?PERSON)
(
instance
?AREA
Nation
))
(
citizen
?PERSON ?AREA))
Government.kif 1609-1613
headOfGovernment
nation
,
position
and
humain
nation
est une
instance
de
nation
humain
est un
citoyen
de
nation
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
StatelessPerson
))
(
instance
?NAT
Nation
))
(
holdsDuring
?T1
(
not
(
citizen
?P ?NAT))))
MilitaryPersons.kif 195-201
StatelessPerson
est un
attribut
de
entit�
pendant
position temporel
entit�
est une
instance
de
nation
entit�
est un
citoyen
de
entit�
pendant
position temporel
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
est un
citoyen
de
nation
RegionalLawFn
nation
oblige
humain
� ex�cut� des t�ches du type
entit�
entit�
and
entit�
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
entit�
YearDuration
(s) l'
humain
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
nation
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
humain
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
RegionalLawFn
secteur g�opolitique
oblige
secteur g�opolitique
� ex�cut� des t�ches du type
entit�
entit�
,
entit�
and
entit�
entit�
est un
citoyen
de
secteur g�opolitique
suffrageAgeMinimum
secteur g�opolitique
and
entit�
YearDuration
(s) l'
entit�
est
entit�
YearDuration
(s)
entit�
est
plus
grand
ou �gal �
entit�
entit�
est une
instance
de
ElectionFn
secteur g�opolitique
entit�
entit�
est une
instance
de
VotingFn
entit�
entit�
est un
agent
de
entit�
(=>
(
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
est une
sous
-proposition de
RegionalLawFn
nation
humain
Election
,
nombre r�el
and
nombre r�el
humain
est un
citoyen
de
nation
suffrageAgeMinimum
nation
and
nombre r�el
YearDuration
(s) l'
humain
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Election
est une
instance
de
ElectionFn
nation
humain
est
capable
de faire
VotingFn
Election
dans le r�le
agent
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 est une
instance
de
nation
?ELECTION est une
instance
de
ElectionFn
?COUNTRY ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
?VOTER est un
citoyen
de ?COUNTRY
contient
information
VoterCitizenshipRequirement
(
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 est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?AGENT est
capable
de faire
VotingFn
?ELECTION dans le r�le
agent
contient
information
UniversalSuffrageLaw
(
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 est un
citoyen
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) l'
YearDuration
(s) ?AGE est
plus
grand
ou �gal � ?VOTINGAGE ?ELECTION est une
instance
de
ElectionFn
?POLITY
?VOTING ?VOTING est une
instance
de
VotingFn
?ELECTION ?VOTING est un
agent
de ?VOTER
contient
information
CompulsorySuffrageLaw
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