exists
(=>
(
accountAtSite
?ACCT ?SITE)
(
exists
(?DATABASE ?SITE_OWNER)
(
and
(
instance
?DATABASE
Database
)
(
instance
?SITE_OWNER
AutonomousAgent
)
(
possesses
?SITE_OWNER ?SITE)
(
possesses
?SITE_OWNER ?DATABASE)
(
part
?ACCT ?DATABASE))))
UXExperimentalTerms.kif 632-640
accountAtSite
UserAccount
and
WebSite
Oggetto
WebSite
_OWNER
Oggetto
è un'
istanza
di
Database
WebSite
_OWNER è un'
istanza
di
AutonomousAgent
WebSite
_OWNER
possiede
es
WebSite
WebSite
_OWNER
possiede
es
Oggetto
UserAccount
è una
parte
di
Oggetto
(=>
(
actedIn
?ACTOR ?O)
(
exists
(?PERF)
(
and
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))))
Mid-level-ontology.kif 20751-20757
actedIn
Umano
and
ContentBearingPhysical
Processo
Processo
è un'
istanza
di
DramaticActing
Umano
è un
paziente
di
Processo
ContentBearingPhysical
è un
risultato
di
Processo
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
activityCapability
AutonomousAgent
and
Processo
Oggetto
%è un
elemento
di %2
Oggetto
è
capace
di fare
Processo
nel ruolo
located
(=>
(
adjacentOrientation
?OBJ1 ?OBJ2)
(
exists
(?X)
(
and
(
instance
?X ?OBJ2)
(
orientation
?OBJ1 ?X
Adjacent
))))
Hotel.kif 939-944
adjacentOrientation
Oggetto
and
Classe
Oggetto
Oggetto
è un'
istanza
di
Classe
Oggetto
è
Adjacent
a
Oggetto
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
advertisedOn
Oggetto
and
WebSite
WebListing
WebListing
è un'
istanza
di
Pubblicit�
hostedOn
WebListing
and
WebSite
Oggetto
è un
paziente
di
WebListing
(=>
(
agreementAdoptionDate
?AGR ?DATE)
(
exists
(?PROCESS ?DAY)
(
and
(
instance
?PROCESS
Committing
)
(
instance
?DAY ?DATE)
(
patient
?PROCESS ?AGR)
(
time
?PROCESS ?DAY))))
Government.kif 706-713
agreementAdoptionDate
Proposizione
and
PosizioneTemporale
Processo
PosizioneTemporale
Processo
è un'
istanza
di
Impegnarsi
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Proposizione
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14071-14076
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
partyToAgreement
AgenteCognitivo
and
Agreement
(=>
(
agreementClause
?PROP
Permission
?AGREEMENT ?AGENT)
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 14099-14105
agreementClause
Proposizione
,
Permission
,
Agreement
and
AgenteCognitivo
AgenteCognitivo
ha il
diritto
di compiere
Entit�
Entit�
esprime
il contenuto di
Proposizione
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
agreementClause
?PROP
Prohibition
?AGREEMENT ?AGENT)
(
not
(
holdsRight
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 14090-14097
agreementClause
Proposizione
,
Prohibition
,
Agreement
and
AgenteCognitivo
AgenteCognitivo
non ha il
diritto
di compiere
Entit�
Entit�
esprime
il contenuto di
Proposizione
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
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
(=>
(
albumArtist
?A ?P)
(
exists
(?R ?M)
(
and
(
instance
?R
Recording
)
(
inList
?R ?A)
(
record
?R ?M)
(
agent
?M ?P))))
Music.kif 280-287
albumArtist
Album
and
AgenteCognitivo
OggettoSemiotico
Processo
OggettoSemiotico
è un'
istanza
di
Recording
OggettoSemiotico
è un
Album
record
OggettoSemiotico
and
Processo
Processo
è un
agente
di
AgenteCognitivo
(=>
(
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
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16851-16860
almaMater
Umano
and
PostSecondarySchool
Processo
Processo
è un'
istanza
di
ProcessoEducazionale
Processo
fine
s in
Umano
eventLocated
Processo
and
PostSecondarySchool
attribute
Umano
and
Student
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
altitude
?OBJ1 ?OBJ2 ?HEIGHT)
(
exists
(?TOP)
(
and
(
top
?TOP ?OBJ1)
(
distance
?TOP ?OBJ2 ?HEIGHT))))
Merge.kif 7740-7745
L'
altezza
di
OggettoIntegro
è
Entit�Concreta
OggettoIntegro
il
vertice
OggettoIntegro
è
OggettoIntegro
la
distanza
tra
OggettoIntegro
e
Entit�Concreta
è
MisuraDiLunghezza
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
Oggetto
Entit�Concreta
è un
paziente
di
Processo
valore
di
Entit�Concreta
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un
sottoprocesso
di
Processo
ScambioFinanziario
è un'
istanza
di
Payment
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
AutonomousAgent
ScambioFinanziario
fine
s in
Oggetto
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 14078-14088
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
AttributoDeontico
is
uguale
a
Obligation
AttributoDeontico
is
uguale
a
Promise
l'affermazione
Entit�
Entit�
esprime
il contenuto di
Proposizione
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 6230-6243
allergic
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Sostanza
,
OggettoCorpuscolare
and
NumeroReale
UnitOfMass
(s
Sostanza
I è un'
istanza
di
Sostanza
la
misura
Sostanza
I è
NumeroReale
2
UnitOfMass
(s
Sostanza
I è una
parte
di
OggettoCorpuscolare
Lista
NumeroReale
2
UnitOfMass
(s è un
Lista
Lista
is
uguale
a
AmountsFn
Sostanza
,
OggettoCorpuscolare
and
UnitOfMass
NumeroReale
is
uguale
a
ListSumFn
Lista
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
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
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
attribute
AutonomousAgent
and
Founder
AutonomousAgent
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Founding
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?AC
TwoFactorAuthentication
)
(
loggedInDuring
?A ?AC ?T))
(
exists
(?TF)
(
and
(
instance
?TF
TwoFactorLoggingIn
)
(
agent
?TF ?A)
(
accountUsed
?TF ?AC)
(
earlier
(
WhenFn
?TF) ?T))))
ComputingBrands.kif 4373-4382
attribute
UserAccount
and
TwoFactorAuthentication
loggedInDuring
AutonomousAgent
,
UserAccount
and
IntervalloTemporale
IntervalloTemporale
F
IntervalloTemporale
F è un'
istanza
di
TwoFactorLoggingIn
IntervalloTemporale
F è un
agente
di
AutonomousAgent
accountUsed
IntervalloTemporale
F and
UserAccount
il
tempo
di esistenza di
IntervalloTemporale
F accades
prima
di
IntervalloTemporale
(=>
(
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
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1364-1371
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
ProfessionalAthlete
Competizione
Competizione
è un'
istanza
di
Sport
contestParticipant
Competizione
and
AutonomousAgent
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