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
Il numero 2 argomenti di
age
è un
istanza
di
Durata
(
instance
age
BinaryPredicate
)
Merge.kif 7518-7518
age
è un'
istanza
di
PredicatoBinario
(
instance
age
SingleValuedRelation
)
Merge.kif 7516-7516
age
è un'
istanza
di
RelazioneMonovalente
(
subrelation
age
measure
)
Merge.kif 7517-7517
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 1075-1084
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 1003-1012
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 342-348
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 219-225
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 269-274
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 392-397
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 311-318
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 7524-7528
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 852-860
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 1176-1189
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 1120-1130
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 1052-1060
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 980-988
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 193-199
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 375-380
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 294-299
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 323-330
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 252-257
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 1132-1152
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 1062-1073
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 990-1001
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 21146-21176
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 840-850
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 1211-1231
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 1040-1050
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 968-978
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 382-390
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 201-209
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 301-309
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 259-267
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 332-340
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 16270-16279
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 405-411
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 1191-1209
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 1106-1118
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 1092-1103
?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 1160-1174
?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 872-881
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 895-906
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 933-946
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