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
エンティティー
は
HumanChild
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
の
age
は
エンティティー
では は
時間位置
の
during
holds %n{ない}
エンティティー
は 0 の
YearDuration
(s) から 14 の
YearDuration
(s) までの
interval
の
instance
では %n
(=>
(
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
エンティティー
は
HumanYouth
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
の
age
は
エンティティー
では は
時間位置
の
during
holds %n{ない}
エンティティー
は 0 の
YearDuration
(s) から 17 の
YearDuration
(s) までの
interval
の
instance
では %n
(=>
(
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
エンティティー
は
Teenager
の
instance
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
の
age
は
エンティティー
では は
時間位置
の
during
holds %n{ない}
エンティティー
は 13 の
YearDuration
(s) から 19 の
YearDuration
(s) までの
interval
の
instance
では %n
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8796-8798
時間間隔
は
Decade
の
instance
では %n
時間間隔
の
duration
は 10 の
YearDuration
(s) では %n
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
時間間隔
は
FiscalYearFn
AutonomousAgent
の
instance
では %n
時間間隔
の
duration
は 1 の
YearDuration
(s) では %n
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8766-8768
時間間隔
は
年
の
instance
では %n
時間間隔
の
duration
は 1 の
YearDuration
(s) では %n
(=>
(
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
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
RegionalLawFn
地政学的地域
は
地政学的地域
にタイプ
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
地政学的地域
% の
citizen
では %n
suffrageAgeMinimum
地政学的地域
and
エンティティー
の
YearDuration
(s)
エンティティー
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
エンティティー
greater
では %n
エンティティー
は
ElectionFn
地政学的地域
の
instance
では %n
エンティティー
エンティティー
は
VotingFn
エンティティー
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
のタスクを実行する
obligate
s %n{ない}
(=>
(
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
は
RegionalLawFn
国民
の
sub
-proposition では %n
人[人間]
Election
,
実数
and
実数
人[人間]
は
国民
% の
citizen
では %n
suffrageAgeMinimum
国民
and
実数
の
YearDuration
(s)
人[人間]
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
Election
は
ElectionFn
国民
の
instance
では %n
人[人間]
は
VotingFn
Election
を
agent
として行う
capable
では %n
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