YearDuration
(year duration)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanChild
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
14
YearDuration
))))))
Mid-level-ontology.kif 301-309
If
an entity
is an
instance
of
human child
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 14
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanYouth
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
17
YearDuration
))))))
Mid-level-ontology.kif 259-267
If
an entity
is an
instance
of
human youth
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 0
year duration
(s) to 17
year duration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
Teenager
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
13
YearDuration
)
(
MeasureFn
19
YearDuration
))))))
Mid-level-ontology.kif 332-340
If
an entity
is an
instance
of
teenager
holds
during
a time position
,
then there exists
another entity
such that the
age
of
the entity
is
the other entity
holds
during
the time position
and
the other entity
is an
instance
of the
interval
from 13
year duration
(s) to 19
year duration
(s)
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8796-8798
If
a time interval
is an
instance
of
decade
,
then
duration
of
the time interval
is 10
year duration
(s)
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
If
a time interval
is an
instance
of the
fiscal
year of
an agent
,
then
duration
of
the time interval
is 1
year duration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8766-8768
If
a time interval
is an
instance
of
year
,
then
duration
of
the time interval
is 1
year duration
(s)
(=>
(
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
If
compulsory suffrage law
is a
sub
-proposition of the
regional
law of
a geopolitical area
,
then the
regional
law of
the geopolitical area
obligate
s
the geopolitical area
to perform task of the type for all
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
if
the entity
is a
citizen
of
the geopolitical area
and
the other entity
year duration
(s) is a
suffrage
age minimum of
the geopolitical area
and the
age
of
the entity
is
the third entity
year duration
(s) and
the third entity
is
greater
than or equal to
the other entity
and
the fourth entity
is an
instance
of the
election
of
the geopolitical area
,
then there exists
a fifth entity
such that
the fifth entity
is an
instance
of the
voting
of
the fourth entity
and
the entity
is an
agent
of
the fifth entity
(=>
(
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
If
universal suffrage law
is a
sub
-proposition of the
regional
law of
a nation
,
then for all
a human
,
an election
,, ,
a real number
and
another real number
if
the human
is a
citizen
of
the nation
and
the real number
year duration
(s) is a
suffrage
age minimum of
the nation
and the
age
of
the human
is
the other real number
year duration
(s) and
the other real number
is
greater
than or equal to
the real number
and
the election
is an
instance
of the
election
of
the nation
,
then
the human
is
capable
of doing the
voting
of
the election
as a
agent
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