Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
age
Sigma KEE - age
age
appearance as argument number 1
(
documentation
age
ChineseLanguage
"这只是把一个
Object
和一个用来指定这个
Object
的岁数的
ConstantQuantity
联系起来。")
chinese_format.kif 2635-2636
(
documentation
age
EnglishLanguage
"Simply relates an
Object
to a
ConstantQuantity
specifying the age of the
Object
.")
Merge.kif 7521-7522
(
documentation
age
JapaneseLanguage
"単に
Object
の年齢を指定する
ConstantQuantity
に
Object
を関連付ける。")
japanese_format.kif 1350-1351
(
domain
age
2
TimeDuration
)
Merge.kif 7519-7519
O argumento numero 2 de
age
e' uma
instancia
de
Duracao Temporal
(
instance
age
BinaryPredicate
)
Merge.kif 7518-7518
age
e' uma
instancia
de
Predicado Binario
(
instance
age
SingleValuedRelation
)
Merge.kif 7516-7516
age
e' uma
instancia
de
Relacao com Valor Unico
(
subrelation
age
measure
)
Merge.kif 7517-7517
age
e' uma
sub
-relacao de
measure
appearance as argument number 2
(
format
ChineseLanguage
age
"%1 的
age
%n 是 %2")
chinese_format.kif 611-611
(
format
EnglishLanguage
age
"the
age
of %1 is %n %2")
english_format.kif 614-614
(
format
FrenchLanguage
age
"l' �ge de %1 est %n %2")
french_format.kif 370-370
(
format
ItalianLanguage
age
"il età di %1 è%n %2")
relations-it.txt 21-21
(
format
JapaneseLanguage
age
"%1 の
age
は %2 では %n ")
japanese_format.kif 2104-2104
(
format
PortugueseLanguage
age
"a idade de %1 e' %n %2")
portuguese_format.kif 322-322
(
format
cb
age
"ang idad sa %1 %n{dili} %2")
relations-cb.txt 55-55
(
format
de
age
"das alter von %1 ist %2 %n{nicht}")
relations-de.txt 800-800
(
format
hi
age
"%1 kii aayu %2 %n hai")
relations-hindi.txt 66-66
(
format
ro
age
"
age
%t{vârsta} lui %1 %n{nu} este %2")
relations-ro.kif 392-392
(
format
sv
age
"åldern på %1 är %n{inte} %2")
relations-sv.txt 411-411
(
format
tg
age
"ang gulang ng %1 %n{hindi} %2")
relations-tg.txt 58-58
(
termFormat
ChineseLanguage
age
"年龄")
chinese_format.kif 612-612
(
termFormat
ChineseTraditionalLanguage
age
"年齡")
domainEnglishFormat.kif 5795-5795
(
termFormat
EnglishLanguage
age
"age")
domainEnglishFormat.kif 5794-5794
(
termFormat
tg
age
"gulang")
relations-tg.txt 59-59
antecedent
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1075-1084
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1003-1012
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s) a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 219-225
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
ou igual a 18
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 269-274
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
que 18
Entidade
e' uma
instancia
de
HumanYouth
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 392-397
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
Entidade
e' uma
instancia
de
HumanBaby
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 311-318
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
Entidade
e' uma
instancia
de
HumanChild
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
Objeto
e' uma
instancia
de
Mutton
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Sheep
a
idade
de
Objeto
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
maior
ou igual a 12
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
Ponto no tempo
e' uma
instancia
de
Ponto no tempo
a
idade
de
Fisico
e'
Duracao Temporal
vale
durante
Ponto no tempo
a
duracao
de o
intervalo
entre o
comeco
de
tempo
de existencia de
Fisico
e
Ponto no tempo
e'
Duracao Temporal
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
e'
situado
em
Area Geopolitica
2
Area Geopolitica
2 e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
a
idade
de
Agente Cognitivo
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
Legal
e' um
atributo
de
Agreement
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
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))))
Government.kif 1176-1189
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
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
Processo
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
Humano
(=>
(
and
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY))
(
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 1120-1130
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
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
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 1052-1060
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))
Government.kif 980-988
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
underageUser
?HUMAN ?SITE)
(
age
?HUMAN
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE 18))
UXExperimentalTerms.kif 1078-1082
underageUser
Humano
and
WebSite
a
idade
de
Humano
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 18
(=>
(
holdsDuring
?TIME
(
and
(
instance
?ADULT
HumanAdult
)
(
age
?ADULT
(
MeasureFn
?NUMBER
YearDuration
))))
(
greaterThanOrEqualTo
?NUMBER 18))
Mid-level-ontology.kif 193-199
Entidade
e' uma
instancia
de
HumanAdult
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
ou igual a 18
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 375-380
Entidade
e' uma
instancia
de
HumanBaby
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 294-299
Entidade
e' uma
instancia
de
HumanChild
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menor
ou igual a 14
(=>
(
holdsDuring
?TIME
(
and
(
instance
?TEEN
Teenager
)
(
age
?TEEN
(
MeasureFn
?NUMBER
YearDuration
))))
(
and
(
greaterThan
?NUMBER 12)
(
lessThan
?NUMBER 20)))
Mid-level-ontology.kif 323-330
Entidade
e' uma
instancia
de
Teenager
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
(=>
(
holdsDuring
?TIME
(
and
(
instance
?YOUTH
HumanYouth
)
(
age
?YOUTH
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThan
?NUMBER 18))
Mid-level-ontology.kif 252-257
Entidade
e' uma
instancia
de
HumanYouth
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
menos
que 18
consequent
(<=>
(
and
(
instance
?Y
(
YearFn
?YEAR))
(
equal
(
MaleLifeExpectancyAtBirthFn
?AREA ?Y) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Male
)
(
during
(
WhenFn
?BIRTH) ?Y)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 357-390
Ano
e' uma
instancia
de o
ano
Ano
EAR
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
DeathsPerThousandLiveBirthsFn
?AREA ?YEAR) ?REALNUMBER))
(
and
(
equal
?BIRTHCOUNT
(
CardinalityFn
(
KappaFn
?BIRTH
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INFANT)
(
instance
?INFANT
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)))))
(
equal
(
DivisionFn
?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)
(
equal
?INFANTDEATHCOUNT
(
CardinalityFn
(
KappaFn
?DEATH
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INFANT)
(
instance
?INFANT
Human
)
(
age
?INFANT
(
MeasureFn
?AGE
YearDuration
))
(
lessThan
?AGE 1)
(
during
(
WhenFn
?DEATH) ?YEAR)
(
equal
(
WhereFn
?DEATH
(
WhenFn
?DEATH)) ?AREA)))))
(
equal
(
DivisionFn
?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER)))
People.kif 238-264
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
FemaleLifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
attribute
?INDIVIDUAL
Female
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 403-436
Ano
e' uma
instancia
de o
ano
Numero Inteiro
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(<=>
(
and
(
instance
?YEAR
(
YearFn
?Y))
(
equal
(
LifeExpectancyAtBirthFn
?AREA ?YEAR) ?REALNUMBER))
(
exists
(?LIST ?COUNT ?LIFEEXPECTANCYAGE ?BIRTH ?INDIVIDUAL ?DEATH)
(
and
(
instance
?LIST
List
)
(
instance
(
ListLengthFn
?LIST) ?COUNT)
(
forall
(?LISTITEM)
(=>
(
inList
?LISTITEM ?LIST)
(
and
(
instance
?LISTITEM ?LIFEEXPECTANCYAGE)
(
not
(
exists
(?NUMBER)
(
and
(
instance
?NUMBER ?LIFEEXPECTANCYAGE)
(
not
(
inList
?NUMBER ?LIST)))))
(
equal
?COUNT
(
CardinalityFn
(
KappaFn
?LIFEEXPECTANCYAGE
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIVIDUAL)
(
instance
?INDIVIDUAL
Human
)
(
during
(
WhenFn
?BIRTH) ?YEAR)
(
equal
(
WhereFn
?BIRTH
(
WhenFn
?BIRTH)) ?AREA)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?INDIVIDUAL)
(
holdsDuring
(
WhenFn
?DEATH)
(
age
?INDIVIDUAL
(
MeasureFn
?LIFEEXPECTANCYAGE
YearDuration
))))))))))
(
average
?LIST ?REALNUMBER))))
People.kif 310-342
Ano
e' uma
instancia
de o
ano
Numero Inteiro
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
subProposition
UniversalSuffrageLaw
(
RegionalLawFn
?POLITY)))
(
confersRight
(
forall
(?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) ?AGENT))
Government.kif 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1062-1073
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 990-1001
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?X
Argument
)
(
instance
?R
Reasoning
)
(
instance
?A
Archeology
)
(
subProposition
?X ?A)
(
realization
?R ?X))
(
exists
(?D ?S ?O ?T ?W ?L)
(
and
(
instance
?D
Discovering
)
(
instance
?O
Object
)
(
patient
?D ?O)
(
refers
?R ?D)
(
earlier
(
WhenFn
?D)
(
WhenFn
?R))
(
age
?O
(
MeasureFn
?T
YearDuration
))
(
greaterThan
?T 50)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
or
(
and
(
surface
?S ?W)
(
instance
?W
BodyOfWater
)
(
orientation
?O ?S
Below
))
(
and
(
surface
?S ?L)
(
instance
?L
LandArea
)
(
orientation
?O ?S
Below
)))))))
Mid-level-ontology.kif 21147-21177
Proposicao
e' uma
instancia
de
Argument
Processo
e' uma
instancia
de
Raciocinar
Proposicao
e' uma
instancia
de
Archeology
Proposicao
e' uma &sub-proposicao de
Proposicao
Processo
exprime
o conteudo de
Proposicao
Processo
Entidade
,
Fisico
,
Numero Real
,
Entidade
and
Entidade
Processo
e' uma
instancia
de
Discovering
Fisico
e' uma
instancia
de
Objeto
Fisico
e' um
patient
de
Processo
Processo
inclui uma
referencia
a
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
que 50
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
BodyOfWater
Fisico
e'
Below
em relacao a
Entidade
Entidade
e' uma
superficie
de
Entidade
Entidade
e' uma
instancia
de
Area terrestre
Fisico
e'
Below
em relacao a
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
Numero Real
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Numero Real
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanAdult
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 60
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
and
AutonomousAgent
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
e' um
atributo
de
Agreement
a
idade
de
Agente Cognitivo
e'
Numero Real
2
YearDuration
(s)
Numero Real
2 e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
subProposition
CompulsorySuffrageLaw
(
RegionalLawFn
?POLITY))
(
citizen
?AGENT ?POLITY))
(
confersObligation
(
forall
(?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) ?AGENT))
Government.kif 1211-1231
CompulsorySuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
Humano
e' um
cidadao
de
Nacao
RegionalLawFn
Nacao
obriga
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
(=>
(
and
(
suffrageAgeMaximum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
lessThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 1040-1050
suffrageAgeMaximum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
and
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 968-978
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Objeto
e'
capaz
de fazer
VotingFn
Election
no role
agent
Numero Real
a
idade
de
Objeto
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
holdsDuring
?TIME
(
instance
?BABY
HumanBaby
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?BABY ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
0
YearDuration
)
(
MeasureFn
1
YearDuration
))))))
Mid-level-ontology.kif 382-390
Entidade
e' uma
instancia
de
HumanBaby
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 1
YearDuration
(s)
(=>
(
holdsDuring
?TIME
(
instance
?H
HumanAdult
))
(
exists
(?AGE)
(
and
(
holdsDuring
?TIME
(
age
?H ?AGE))
(
instance
?AGE
(
IntervalFn
(
MeasureFn
18
YearDuration
)
(
MeasureFn
120
YearDuration
))))))
Mid-level-ontology.kif 201-209
Entidade
e' uma
instancia
de
HumanAdult
vale
durante
Posicao Temporal
Entidade
a
idade
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
Entidade
e' uma
instancia
de o
intervalo
entre 18
YearDuration
(s) e 120
YearDuration
(s)
(=>
(
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
?GROUP
AgeGroup
)
(
forall
(?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
(=>
(
and
(
member
?MEMB1 ?GROUP)
(
member
?MEMB2 ?GROUP)
(
age
?MEMB1 ?AGE1)
(
age
?MEMB2 ?AGE2))
(
equal
?AGE1 ?AGE2))))
Merge.kif 16248-16257
Colecao
e' uma
instancia
de
Grupo Etario
Fisico
Fisico
,
Duracao Temporal
and
Duracao Temporal
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
a
idade
de
Fisico
e'
Duracao Temporal
a
idade
de
Fisico
e'
Duracao Temporal
Duracao Temporal
e'
igual
a
Duracao Temporal
(=>
(
older
?O1 ?O2)
(
exists
(?N1 ?N2 ?U)
(
and
(
age
?O1
(
MeasureFn
?N1 ?U))
(
age
?O2
(
MeasureFn
?N2 ?U))
(
greaterThan
?N1 ?N2))))
Mid-level-ontology.kif 405-411
older
Objeto
and
Objeto
Numero Real
Numero Real
and
Unidade de Medida
a
idade
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
idade
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
statement
(
containsInformation
(
forall
(?POLITY ?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)))
UniversalSuffrageLaw
)
Government.kif 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
UniversalSuffrageLaw
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
CompulsorySuffrageLaw
(
equal
(
AvailableForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 872-881
AvailableForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
equal
(
FitForMilitaryServiceMaleFn
?AREA)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
subclass
?PROCESS
MilitaryProcess
)
(
fitForMilitaryService
?PERSON ?PROCESS)
(
militaryAge
?AREA ?MILITARYAGE)
(
age
?PERSON ?AGE)
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 895-906
FitForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
equal
(
ReachingMilitaryAgeAnnuallyMaleFn
?AREA ?YEAR)
(
CardinalityFn
(
KappaFn
?PERSON
(
and
(
instance
?PERSON
Human
)
(
attribute
?PERSON
Male
)
(
militaryAge
?AREA ?MILITARYAGE)
(
equal
?AGEMINUSONE
(
SubtractionFn
?AGE 1))
(
holdsDuring
?YEAR
(
or
(
age
?PERSON ?AGEMINUSONE)
(
age
?PERSON ?AGE)))
(
equal
?AGE ?MILITARYAGE)
(
inhabits
?PERSON ?AREA)))))
Military.kif 933-946
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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