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
Wenn
entity
ist ein
fall
von
HumanChild
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** Entity
um das
alter
von
** entity
ist
** ** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** ** Entity
ist ein
fall
von der
zeitabstand
von 0
YearDuration
(s) nach 14
YearDuration
(s) %n{nicht}
(=>
(
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
Wenn
entity
ist ein
fall
von
HumanYouth
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** Entity
um das
alter
von
** entity
ist
** ** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** ** Entity
ist ein
fall
von der
zeitabstand
von 0
YearDuration
(s) nach 17
YearDuration
(s) %n{nicht}
(=>
(
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
Wenn
entity
ist ein
fall
von
Teenager
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** Entity
um das
alter
von
** entity
ist
** ** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht} und
** ** Entity
ist ein
fall
von der
zeitabstand
von 13
YearDuration
(s) nach 19
YearDuration
(s) %n{nicht}
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
Wenn
TimeInterval
ist ein
fall
von
Decade
%n{nicht},
dann
dauer
von
** TimeInterval
ist 10
YearDuration
(s) %n{nicht}
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Wenn
TimeInterval
ist ein
fall
von
FiscalYearFn
AutonomousAgent
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
YearDuration
(s) %n{nicht}
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
Wenn
TimeInterval
ist ein
fall
von
Year
%n{nicht},
dann
dauer
von
** TimeInterval
ist 1
YearDuration
(s) %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}
(=>
(
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
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