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 7522-7523
(
documentation
age
JapaneseLanguage
"単に
Object
の年齢を指定する
ConstantQuantity
に
Object
を関連付ける。")
japanese_format.kif 1350-1351
(
domain
age
2
TimeDuration
)
Merge.kif 7520-7520
Il numero 2 argomenti di
age
è un
istanza
di
Durata
(
instance
age
BinaryPredicate
)
Merge.kif 7519-7519
age
è un'
istanza
di
PredicatoBinario
(
instance
age
SingleValuedRelation
)
Merge.kif 7517-7517
age
è un'
istanza
di
RelazioneMonovalente
(
subrelation
age
measure
)
Merge.kif 7518-7518
age
è una
sottorelazione
di
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 1039-1048
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 967-976
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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 335-341
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di 12
NumeroReale
è
meno
di20
Entit�
è un'
istanza
di
Teenager
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThanOrEqualTo
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanAdult
)))
Mid-level-ontology.kif 212-218
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di o uguale a 18
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThan
?N 18))
(
holdsDuring
?T1
(
instance
?H
HumanYouth
)))
Mid-level-ontology.kif 262-267
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
meno
di18
Entit�
è un'
istanza
di
HumanYouth
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 1))
(
holdsDuring
?T1
(
instance
?H
HumanBaby
)))
Mid-level-ontology.kif 385-390
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 1
Entit�
è un'
istanza
di
HumanBaby
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
lessThanOrEqualTo
?N 14))
(
holdsDuring
?T1
(
instance
?H
HumanChild
)))
Mid-level-ontology.kif 304-311
Entit�
è un'
istanza
di
Umano
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 14
Entit�
è un'
istanza
di
HumanChild
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
Oggetto
è un'
istanza
di
Mutton
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Sheep
il
et
à di
Oggetto
è
NumeroReale
MonthDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 12
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7525-7529
PuntoTemporale
è un'
istanza
di
PuntoTemporale
il
et
à di
Entit�Concreta
è
Durata
vales
durante
PuntoTemporale
durata
di
intervallo
tra l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e
PuntoTemporale
è
Durata
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 843-851
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
è
localizzato
in
AreaGeopolitica
2
AreaGeopolitica
2 è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
il
et
à di
AgenteCognitivo
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
Processo
attribute
Agreement
and
Legal
(=>
(
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 1140-1153
CompulsorySuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Processo
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
Umano
(=>
(
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 1084-1094
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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 1016-1024
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 944-952
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
underageUser
?HUMAN ?SITE)
(
age
?HUMAN
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE 18))
UXExperimentalTerms.kif 1078-1082
underageUser
Umano
and
WebSite
il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 18
(=>
(
holdsDuring
?TIME
(
and
(
instance
?ADULT
HumanAdult
)
(
age
?ADULT
(
MeasureFn
?NUMBER
YearDuration
))))
(
greaterThanOrEqualTo
?NUMBER 18))
Mid-level-ontology.kif 186-192
Entit�
è un'
istanza
di
HumanAdult
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di o uguale a 18
(=>
(
holdsDuring
?TIME
(
and
(
instance
?BABY
HumanBaby
)
(
age
?BABY
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 1))
Mid-level-ontology.kif 368-373
Entit�
è un'
istanza
di
HumanBaby
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 1
(=>
(
holdsDuring
?TIME
(
and
(
instance
?CHILD
HumanChild
)
(
age
?CHILD
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThanOrEqualTo
?NUMBER 14))
Mid-level-ontology.kif 287-292
Entit�
è un'
istanza
di
HumanChild
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
minore
o uguale a 14
(=>
(
holdsDuring
?TIME
(
and
(
instance
?TEEN
Teenager
)
(
age
?TEEN
(
MeasureFn
?NUMBER
YearDuration
))))
(
and
(
greaterThan
?NUMBER 12)
(
lessThan
?NUMBER 20)))
Mid-level-ontology.kif 316-323
Entit�
è un'
istanza
di
Teenager
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di 12
NumeroReale
è
meno
di20
(=>
(
holdsDuring
?TIME
(
and
(
instance
?YOUTH
HumanYouth
)
(
age
?YOUTH
(
MeasureFn
?NUMBER
YearDuration
))))
(
lessThan
?NUMBER 18))
Mid-level-ontology.kif 245-250
Entit�
è un'
istanza
di
HumanYouth
il
et
à di
Entit�
è
NumeroReale
YearDuration
(s vales
durante
PosizioneTemporale
NumeroReale
è
meno
di18
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
Anno
è un'
istanza
di l'
anno
Anno
EAR
MaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
DeathsPerThousandLiveBirthsFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+ 1000 is
uguale
a
NumeroReale
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
NumeroIntero
+
NumeroReale
is
uguale
a
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
FemaleLifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(<=>
(
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
Anno
è un'
istanza
di l'
anno
NumeroIntero
LifeExpectancyAtBirthFn
AreaGeopolitica
and
Anno
is
uguale
a
NumeroReale
Lista
NumeroIntero
,
Stringa
,
Entit�
,
Entit�
and
Entit�
Lista
è un'
istanza
di
Lista
lunghezza
di
Lista
è un'
istanza
di
NumeroIntero
Lista
ITEM
Lista
ITEM è un
Lista
Lista
ITEM è un'
istanza
di
Stringa
Entit�
Entit�
è un'
istanza
di
Stringa
Entit�
è un
Lista
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
average
Lista
and
NumeroReale
(=>
(
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 1096-1116
Umano
è un
cittadino
di
Nazione
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
RegionalLawFn
Nazione
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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 1026-1037
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
NumeroReale
il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 954-965
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Processo
è un'
istanza
di
VotingFn
Election
Processo
è un
agente
di
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
NumeroReale
il
et
à di
AutonomousAgent
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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 21174-21204
Proposizione
è un'
istanza
di
Argument
Processo
è un'
istanza
di
Ragionare
Proposizione
è un'
istanza
di
Archeology
Proposizione
è una
sottoproposizione
Proposizione
Processo
esprime
il contenuto di
Proposizione
Processo
Entit�
,
Entit�Concreta
,
NumeroReale
,
Entit�
and
Entit�
Processo
è un'
istanza
di
Discovering
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Processo
include un
riferimento
a
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di 50
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
BodyOfWater
Entit�Concreta
è
Below
a
Entit�
Entit�
è una
superficie
di
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è
Below
a
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
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 831-841
militaryAge
AreaGeopolitica
and
NumeroReale
YearDuration
(s
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
Entit�Concreta
è un
membro
di
MilitaryOrganization
NumeroReale
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
NumeroReale
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
HumanAdult
il
et
à di
Entit�Concreta
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a 60
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
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
AgenteCognitivo
and
Agreement
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è
localizzato
in
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
ageOfMajorityForProcess
NumeroReale
YearDuration
(s,
AreaGeopolitica
and
Processo
ContentBearingPhysical
è un
risultato
di
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
attribute
Agreement
and
Legal
il
et
à di
AgenteCognitivo
è
NumeroReale
2
YearDuration
(s
NumeroReale
2 è
pi
ù grande di
NumeroReale
vales
durante
il
tempo
di esistenza di
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 1175-1195
CompulsorySuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
è un
cittadino
di
Nazione
RegionalLawFn
Nazione
obbliga
Umano
a compiere il compito di tipo
Entit�
Entit�
and
Entit�
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
Entit�
YearDuration
(s il
et
à di
Umano
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
Nazione
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
Umano
(=>
(
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 1004-1014
suffrageAgeMaximum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
minore
o uguale a
NumeroReale
(=>
(
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 932-942
suffrageAgeMinimum
AutonomousAgent
and
NumeroReale
YearDuration
(s
Election
è un'
istanza
di
ElectionFn
AutonomousAgent
Oggetto
è
capace
di fare
VotingFn
Election
nel ruolo
agent
NumeroReale
il
et
à di
Oggetto
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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 375-383
Entit�
è un'
istanza
di
HumanBaby
vales
durante
PosizioneTemporale
Entit�
il
et
à di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di l'
intervallo
da 0
YearDuration
(s a 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 194-202
Entit�
è un'
istanza
di
HumanAdult
vales
durante
PosizioneTemporale
Entit�
il
et
à di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di l'
intervallo
da 18
YearDuration
(s a 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 294-302
Entit�
è un'
istanza
di
HumanChild
vales
durante
PosizioneTemporale
Entit�
il
et
à di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di l'
intervallo
da 0
YearDuration
(s a 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 252-260
Entit�
è un'
istanza
di
HumanYouth
vales
durante
PosizioneTemporale
Entit�
il
et
à di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di l'
intervallo
da 0
YearDuration
(s a 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 325-333
Entit�
è un'
istanza
di
Teenager
vales
durante
PosizioneTemporale
Entit�
il
et
à di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di l'
intervallo
da 13
YearDuration
(s a 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 16319-16328
InsiemeConcreto
è un'
istanza
di
GruppoDiEt�
Entit�Concreta
Entit�Concreta
,
Durata
and
Durata
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
il
et
à di
Entit�Concreta
è
Durata
il
et
à di
Entit�Concreta
è
Durata
Durata
is
uguale
a
Durata
(=>
(
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 398-404
older
Oggetto
and
Oggetto
NumeroReale
NumeroReale
and
Unit�DiMisura
il
et
à di
Oggetto
è
NumeroReale
Unit�DiMisura
(s il
et
à di
Oggetto
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
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 1155-1173
CompulsorySuffrageLaw
è una
sottoproposizione
RegionalLawFn
AreaGeopolitica
RegionalLawFn
AreaGeopolitica
obbliga
AreaGeopolitica
a compiere il compito di tipo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un
cittadino
di
AreaGeopolitica
suffrageAgeMinimum
AreaGeopolitica
and
Entit�
YearDuration
(s il
et
à di
Entit�
è
Entit�
YearDuration
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
Entit�
è un'
istanza
di
ElectionFn
AreaGeopolitica
Entit�
Entit�
è un'
istanza
di
VotingFn
Entit�
Entit�
è un
agente
di
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 1070-1082
UniversalSuffrageLaw
è una
sottoproposizione
RegionalLawFn
Nazione
Umano
Election
,
NumeroReale
and
NumeroReale
Umano
è un
cittadino
di
Nazione
suffrageAgeMinimum
Nazione
and
NumeroReale
YearDuration
(s il
et
à di
Umano
è
NumeroReale
YearDuration
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Election
è un'
istanza
di
ElectionFn
Nazione
Umano
è
capace
di fare
VotingFn
Election
nel ruolo
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 1056-1067
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?AGENT è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?AGENT è
capace
di fare
VotingFn
?ELECTION nel ruolo
agent
contiene
s informazione
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 1124-1138
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER è un
cittadino
di ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s il
et
à di ?VOTER è ?AGE
YearDuration
(s ?AGE è
pi
ù grande di o uguale a ?VOTINGAGE ?ELECTION è un'
istanza
di
ElectionFn
?POLITY
?VOTING ?VOTING è un'
istanza
di
VotingFn
?ELECTION ?VOTING è un
agente
di ?VOTER
contiene
s informazione
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 863-872
AvailableForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
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 886-897
FitForMilitaryServiceMaleFn
AreaGeopolitica
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
(
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 924-937
ReachingMilitaryAgeAnnuallyMaleFn
AreaGeopolitica
and
Anno
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
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