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
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 0
YearDuration
(s) e 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
Entidade
e' uma
instancia
de
HumanYouth
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 0
YearDuration
(s) e 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
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 13
YearDuration
(s) e 19
YearDuration
(s)
(=>
(
instance
?D
Decade
)
(
duration
?D
(
MeasureFn
10
YearDuration
)))
Merge.kif 8774-8776
Intervalo Temporal
e' uma
instancia
de
Decade
a
duracao
de
Intervalo Temporal
e' 10
YearDuration
(s)
(=>
(
instance
?FY
(
FiscalYearFn
?PLACE))
(
duration
?FY
(
MeasureFn
1
YearDuration
)))
Economy.kif 3716-3718
Intervalo Temporal
e' uma
instancia
de
FiscalYearFn
AutonomousAgent
a
duracao
de
Intervalo Temporal
e' 1
YearDuration
(s)
(=>
(
instance
?YEAR
Year
)
(
duration
?YEAR
(
MeasureFn
1
YearDuration
)))
Merge.kif 8744-8746
Intervalo Temporal
e' uma
instancia
de
Ano
a
duracao
de
Intervalo Temporal
e' 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
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
RegionalLawFn
Area Geopolitica
obriga
Area Geopolitica
a executar tarefas de tipo
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' um
cidadao
de
Area Geopolitica
suffrageAgeMinimum
Area Geopolitica
and
Entidade
YearDuration
(s) a
idade
de
Entidade
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Area Geopolitica
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Entidade
(=>
(
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
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
Election
,
Numero Real
and
Numero Real
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Numero Real
YearDuration
(s) a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Election
e' uma
instancia
de
ElectionFn
Nacao
Humano
e'
capaz
de fazer
VotingFn
Election
no role
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