not
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
agreementRevisionDate
Proposizione
,
PosizioneTemporale
and
Proposizione
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
prima
di
PosizioneTemporale
Proposizione
è una
sottoproposizione
Proposizione
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
albumRelease
?A ?T)
(
and
(
exists
(?R1 ?DS1)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS1) ?R1 ?T))
(
not
(
exists
(?B ?R2 ?DS2)
(
and
(
before
?B ?T)
(
releaseForSale
(
AlbumCopiesFn
?A ?DS2) ?R2 ?B))))))
Music.kif 261-270
albumRelease
Album
and
PuntoTemporale
AreaGeografica
DataStorageDevice
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
AreaGeografica
and
PuntoTemporale
PuntoTemporale
AreaGeografica
and
DataStorageDevice
PuntoTemporale
succede%{s}
prima
di
PuntoTemporale
releaseForSale
AlbumCopiesFn
Album
and
DataStorageDevice
,
AreaGeografica
and
PuntoTemporale
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
attribute
AgenteCognitivo
and
AppraisalAsJustTreatment
AgenteCognitivo
JT è un'
istanza
di
AppraisalProcess
AgenteCognitivo
JT è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
JT include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
vuole
s
Processo
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
attribute
AgenteCognitivo
and
AppraisalAsUnjustTreatment
AgenteCognitivo
UJ è un'
istanza
di
AppraisalProcess
AgenteCognitivo
UJ è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
UJ include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
non
vuole
Processo
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
attribute
AutonomousAgent
and
VoiceActor
Processo
è un'
istanza
di
DramaticActing
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LinguisticCommunication
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
Processo
AutonomousAgent
Processo
è un'
istanza
di
Vista
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
AutonomousAgent
Processo
è un'
istanza
di
Udito
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29507-29519
attribute
Oggetto
and
Collectible
Oggetto
ha
scopo
Formula
AgenteCognitivo
Formula
2
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
vuole
s
Oggetto
AgenteCognitivo
desidera
s
Formula
2
Formula
2
implica
s
AgenteCognitivo
possiede
es
Oggetto
Formula
is
uguale
a
Formula
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
attribute
Oggetto
and
DeviceDamaged
Oggetto
ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
attribute
Sostanza
and
DecafAttribute
Sostanza
è un'
istanza
di
Cibo
Sostanza
Sostanza
è un'
istanza
di
Caffeine
Sostanza
è un
membro
di
Sostanza
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
attribute
Oggetto
and
MashupRecording
Oggetto
è un'
istanza
di
Recording
Oggetto
1
Oggetto
2,
Musica
and
Musica
musicInterpretation
Oggetto
1 and
Musica
musicInterpretation
Oggetto
2 and
Musica
Musica
is
uguale
a
Musica
Oggetto
1 è una
parte
di
Oggetto
Oggetto
2 è una
parte
di
Oggetto
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
attribute
MusicRecording
and
CoverRecording
MusicRecording
è un'
istanza
di
MusicRecording
songArtist
MusicRecording
and
AgenteCognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
AgenteCognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
AgenteCognitivo
RTIST
AgenteCognitivo
is
uguale
a
AgenteCognitivo
RTIST
record
MusicRecording
and
Musica
USIC il
tempo
di esistenza di
Musica
USIC succede%{s}
prima
di il
tempo
di esistenza di
Musica
M
(=>
(
and
(
attribute
?SYLLABLE
Stressed
)
(
instance
?WORD
Word
)
(
part
?SYLLABLE ?WORD))
(
not
(
exists
(?SYLLABLE2)
(
and
(
instance
?SYLLABLE2
Syllable
)
(
part
?SYLLABLE2 ?WORD)
(
attribute
?SYLLABLE2
Stressed
)
(
not
(
equal
?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 19443-19453
attribute
Oggetto
and
Stressed
Oggetto
è un'
istanza
di
Parola
Oggetto
è una
parte
di
Oggetto
Oggetto
2
Oggetto
2 è un'
istanza
di
Syllable
Oggetto
2 è una
parte
di
Oggetto
attribute
Oggetto
2 and
Stressed
Oggetto
2 is
uguale
a
Oggetto
(=>
(
and
(
attribute
?U
Uninhabited
)
(
instance
?U
Region
))
(
not
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?U)))))
Mid-level-ontology.kif 30104-30112
attribute
Oggetto
and
Uninhabited
Oggetto
è un'
istanza
di
Regione
Organismo
Organismo
è un'
istanza
di
Umano
Organismo
abita
s in
Oggetto
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
DutyFree
)
(
instance
?X
Product
))
(
not
(
exists
(?DUTY)
(
and
(
instance
?DUTY
DutyTax
)
(
patient
?DUTY ?X)))))
Hotel.kif 1466-1474
attribute
Oggetto
and
DutyFree
Oggetto
è un'
istanza
di
Prodotto
Processo
Processo
è un'
istanza
di
DutyTax
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25748-25761
attribute
AutonomousAgent
and
Multilingual
Processo
è un'
istanza
di
Speaking
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
Suite
)
(
instance
?X
HotelUnit
))
(
exists
(?R1 ?R2)
(
and
(
instance
?R1
HotelRoom
)
(
instance
?R2
HotelRoom
)
(
orientation
?R1 ?X
Inside
)
(
orientation
?R2 ?X
Inside
)
(
not
(
equal
?R1 ?R2)))))
Hotel.kif 1003-1014
attribute
Oggetto
and
Suite
Oggetto
è un'
istanza
di
HotelUnit
Oggetto
Oggetto
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
è
Inside
a
Oggetto
Oggetto
è
Inside
a
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
breathingRate
?H ?T ?R)
(
instance
?T
Minute
)
(
not
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
?T
(
WhenFn
?R)))))
(
holdsDuring
?T
(
attribute
?H
HumanAdult
))
(
or
(
greaterThan
?R 16)
(
lessThan
?R 12)))
(
holdsDuring
?T
(
not
(
attribute
?H
Healthy
))))
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
IntervalloTemporale
and
NumeroIntero
IntervalloTemporale
è un'
istanza
di
Minuto
NumeroIntero
NumeroIntero
è un'
istanza
di
PassatempoOEsercizio
NumeroIntero
è un
agente
di
AutonomousAgent
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
NumeroIntero
attribute
AutonomousAgent
and
HumanAdult
vales
durante
IntervalloTemporale
NumeroIntero
è
pi
ù grande di 16
NumeroIntero
è
meno
di12
attribute
AutonomousAgent
and
Healthy
vales
durante
IntervalloTemporale
(=>
(
and
(
commemoratesDate
?HOLIDAY
(
DayFn
?DAY
(
MonthFn
?MONTH
(
YearFn
?YEAR))))
(
instance
?DATE ?HOLIDAY)
(
instance
?ANYO
(
YearFn
?YEAR)))
(
not
(
earlier
?DATE ?ANYO)))
Government.kif 612-617
commemoratesDate
Holiday
and il
giorno
NumeroInteroPositivo
IntervalloTemporale
è un'
istanza
di
Holiday
IntervalloTemporale
è un'
istanza
di l'
anno
NumeroIntero
IntervalloTemporale
non accade
prima
di
IntervalloTemporale
(=>
(
and
(
connectedBodyPartTypes
?P1 ?P2 ?O)
(
instance
?OC ?O)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?PC1 ?PC2)
(
and
(
instance
?PC1 ?P1)
(
instance
?PC2 ?P2)
(
not
(
equal
?PC1 ?PC2))
(
part
?PC1 ?OC)
(
part
?PC2 ?OC)
(
connected
?PC1 ?PC2))))
Anatomy.kif 32-46
connectedBodyPartTypes
ParteDelCorpo
,
ParteDelCorpo
and
Organismo
Organismo
C è un'
istanza
di
Organismo
attribute
Oggetto
and
MalattiaOSindrome
Oggetto
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Organismo
C
Oggetto
è una
parte
di
Organismo
C
Oggetto
è
connesso
a
Oggetto
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW è
opposto
a
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
Attributo
is
uguale
a
Entit�
elemento
di (@ROW
NumeroInteroPositivo
is
uguale
a
NumeroInteroPositivo
Entit�
ha un
attributo
Attributo
Entit�
ha un
attributo
Attributo
(=>
(
and
(
defenseLawyer
?P ?A)
(
defendant
?P ?D))
(
desires
?A
(
not
(
exists
(?L)
(
and
(
instance
?L
LegalDecision
)
(
refers
?L ?P)
(
not
(
wants
?D ?L)))))))
Law.kif 295-306
defenseLawyer
AzioneLegale
and
AgenteCognitivo
defendant
AzioneLegale
and
AgenteCognitivo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
LegalDecision
Entit�
include un
riferimento
a
AzioneLegale
AgenteCognitivo
non
vuole
Entit�
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
%è un
elemento
di %2
attribute
Oggetto
and
AnnexRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
Oggetto
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
HotelFrontDesk
Organizzazione
è
localizzato
in
Oggetto
%è un
elemento
di %2 %è un
elemento
di %2
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4874-4888
Il
massimo
comune divisore di@ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
pi
ù grande di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4958-4972
Il
minimo
comune multiplo di @ROW is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
NumeroIntero
è
meno
di
NumeroIntero
NumeroIntero
NumeroIntero
è un
NumeroIntero
mod
NumeroIntero
is
uguale
a 0
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
exactCardinality
Relazione
,
NumeroInteroPositivo
and 1
Relazione
è un'
istanza
di
Predicato
Relazione
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
Entit�
is
uguale
a
Entit�
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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