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
RegionalLawFn
Sigma KEE - RegionalLawFn
RegionalLawFn
appearance as argument number 1
(
documentation
RegionalLawFn
EnglishLanguage
"(
RegionalLawFn
?AREA) denotes the laws pertaining in the
GeopoliticalArea
?AREA that are established and enforced by the
Government
of ?AREA. For example, (
RegionalLawFn
UnitedStates
) denotes the laws of the government of the
UnitedStates
and its constituent units.")
Government.kif 885-889
(
domain
RegionalLawFn
1
GeopoliticalArea
)
Government.kif 882-882
Die Zahl 1 Argument von
RegionalLawFn
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
instance
RegionalLawFn
UnaryFunction
)
Government.kif 881-881
RegionalLawFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
RegionalLawFn
RegionalLaw
)
Government.kif 883-883
bildbereich
von
RegionalLawFn
ist ein fall von
RegionalLaw
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
RegionalLawFn
"%1 的 regional 法律")
domainEnglishFormat.kif 2119-2119
(
format
ChineseTraditionalLanguage
RegionalLawFn
"%1 的 regional 法律")
domainEnglishFormat.kif 2118-2118
(
format
EnglishLanguage
RegionalLawFn
"the regional law of %1")
domainEnglishFormat.kif 2117-2117
(
termFormat
ChineseLanguage
RegionalLawFn
"区域法")
domainEnglishFormat.kif 49220-49220
(
termFormat
ChineseTraditionalLanguage
RegionalLawFn
"區域法")
domainEnglishFormat.kif 49219-49219
(
termFormat
EnglishLanguage
RegionalLawFn
"regional law")
domainEnglishFormat.kif 49218-49218
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
Wenn
Human
ist der
buerger
von
Nation
und
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
** Nation
%n{nicht},
dann
RegionalLawFn
** Nation
erlaubt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?CAO
CivilAffairsOperation
)
(
located
?CAO ?NATION)
(
instance
?NATION
Nation
)
(
instance
?LAW
(
RegionalLawFn
?NATION))
(
realization
?CAO ?CONTENT))
(
consistent
?LAW ?CONTENT))
MilitaryProcesses.kif 2244-2252
Wenn
Process
ist ein
fall
von
CivilAffairsOperation
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Proposition
ist ein
fall
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
** Process
druekt den Inhalt von
** Proposition
aus,
dann
consistent
** Proposition
and
** ** Proposition
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht}
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
,
dann
RegionalLawFn
** Nation
zwingt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?AREA))
(
attribute
?AGENT
Female
)
(
member
?AGENT
(
ResidentFn
?AREA))
(
instance
?ELECTION
Election
))
(
not
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
Government.kif 1267-1273
Wenn
ExclusiveMaleSuffrage
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht} und
Female
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
Mitglied
von
ResidentFn
** GeopoliticalArea
%n{nicht} und
Election
ist ein
fall
von
Election
%n{nicht},
dann
** Object
ist faehig nicht, in der Rolle
agent
VotingFn
** Election
zu tun
(=>
(
and
(
subProposition
ExclusiveMaleSuffrage
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY)
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
attribute
?AGENT
Male
))
Government.kif 1250-1256
Wenn
ExclusiveMaleSuffrage
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht} und
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun,
dann
Male
ist ein
attribut
von
** Human
%n{nicht}
(=>
(
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
Wenn
ExclusiveMaleSuffrage
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht},
dann
Male
ist ein
attribut
von
** Human
%n{nicht}
(=>
(
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
Wenn
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht},
dann
RegionalLawFn
** GeopoliticalArea
zwingt
** GeopoliticalArea
, die Aufgabe der Art von fuer alle
entity
,
** entity
,, ,
** entity
, and und
** entity
wenn
** entity
ist der
buerger
von
** GeopoliticalArea
und
suffrageAgeMinimum
** GeopoliticalArea
and
** ** entity
YearDuration
(s) und das
alter
von
** entity
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
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
Wenn
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht},
dann fuer alle
Human
,
Election
,, ,
RealNumber
, and und
** RealNumber
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** RealNumber
YearDuration
(s) und das
alter
von
** Human
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** Election
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann
** Human
ist faehig %n{nicht}, in der Rolle
agent
VotingFn
** Election
zu tun
consequent
(=>
(
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
Wenn
Human
ist der
buerger
von
Nation
und
UniversalSuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
** Nation
%n{nicht},
dann
RegionalLawFn
** Nation
erlaubt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1029-1038
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMaximum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
RULE
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
suffrageAgeMinimum
** GeopoliticalArea
and
TimeDuration
,
dann es gibt
** TimeDuration
RULE um
** TimeDuration
RULE ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** TimeDuration
RULE ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht} und
suffrageAgeMinimum
** GeopoliticalArea
and
** TimeDuration
enthaelt Informationen ueber
** TimeDuration
RULE
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
governmentType
** GeopoliticalArea
and
Democracy
,
dann
VoterCitizenshipRequirement
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
governmentType
?COUNTRY
Democracy
))
(
exists
(?SUFFRAGE)
(
and
(
instance
?SUFFRAGE
SuffrageLaw
)
(
subProposition
?SUFFRAGE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 906-913
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
governmentType
** GeopoliticalArea
and
Democracy
,
dann es gibt
Proposition
um
** Proposition
ist ein
fall
von
SuffrageLaw
%n{nicht} und
** Proposition
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
Nation
%n{nicht} und
Human
ist der
buerger
von
** Nation
,
dann
RegionalLawFn
** Nation
zwingt
** Human
, die Aufgabe der Art von fuer alle
entity
,
** entity
, and und
** entity
wenn
** Human
ist der
buerger
von
** Nation
und
suffrageAgeMinimum
** Nation
and
** entity
YearDuration
(s) und das
alter
von
** Human
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** Nation
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht}
durchzuf�hren %n{nicht}
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Proposition
um
** Proposition
ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** Proposition
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
legalSystemType
?AREA ?TYPE)
(
attribute
(
RegionalLawFn
?AREA) ?TYPE))
Government.kif 891-893
Wenn
legalSystemType
GeopoliticalArea
and
LegalSystemAttribute
,
dann
** LegalSystemAttribute
ist ein
attribut
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
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
Wenn
CompulsorySuffrageLaw
ist eine
teilangelegenheit
von
RegionalLawFn
GeopoliticalArea
%n{nicht},
dann
RegionalLawFn
** GeopoliticalArea
zwingt
** GeopoliticalArea
, die Aufgabe der Art von fuer alle
entity
,
** entity
,, ,
** entity
, and und
** entity
wenn
** entity
ist der
buerger
von
** GeopoliticalArea
und
suffrageAgeMinimum
** GeopoliticalArea
and
** ** entity
YearDuration
(s) und das
alter
von
** entity
ist
** ** entity
YearDuration
(s) %n{nicht} und
** ** entity
ist
groesserAlsOderGleich
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ElectionFn
** GeopoliticalArea
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
VotingFn
** ** entity
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht}
durchzuf�hren %n{nicht}
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