YearDuration
(=>
(
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
Entit�
est une
instance
de
HumanChild
pendant
position temporel
entit�
l'
entit�
est
entit�
pendant
position temporel
entit�
est une
instance
de l'
interval
entre 0
YearDuration
(s) et 14
YearDuration
(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
Entit�
est une
instance
de
HumanYouth
pendant
position temporel
entit�
l'
entit�
est
entit�
pendant
position temporel
entit�
est une
instance
de l'
interval
entre 0
YearDuration
(s) et 17
YearDuration
(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
Entit�
est une
instance
de
Teenager
pendant
position temporel
entit�
l'
entit�
est
entit�
pendant
position temporel
entit�
est une
instance
de l'
interval
entre 13
YearDuration
(s) et 19
YearDuration
(s)
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
Interval temporel
est une
instance
de
Decade
la
dur
�� de
interval temporel
est 10
YearDuration
(s)
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Interval temporel
est une
instance
de
FiscalYearFn
AutonomousAgent
la
dur
�� de
interval temporel
est 1
YearDuration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
Interval temporel
est une
instance
de
ann�e
la
dur
�� de
interval temporel
est 1
YearDuration
(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
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
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