destination
(=>
(
and
(
instance
?P
Pulling
)
(
agent
?P ?A)
(
patient
?P ?PULLED)
(
destination
?P ?D))
(
holdsDuring
?P
(
and
(
distance
?A ?D ?SMALLER)
(
distance
?PULLED ?D ?LARGER)
(
greaterThan
?LARGER ?SMALLER))))
Military.kif 759-769
Processo
è un'
istanza
di
Pulling
Processo
è un
agente
di
AutonomousAgent
Processo
ULLED è un
paziente
di
Processo
Processo
fine
s in
Entit�
la
distanza
tra
AutonomousAgent
e
Entit�
è
Entit�
la
distanza
tra
Processo
ULLED e
Entit�
è
Entit�
Entit�
è
pi
ù grande di
Entit�
vales
durante
Processo
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17637-17655
IntervalloTemporale
è un'
istanza
di
Pulling
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?P
Punishing
)
(
agent
?P ?A)
(
patient
?P ?F)
(
destination
?P ?D))
(
knows
?A
(
not
(
desires
?D ?F))))
Mid-level-ontology.kif 872-880
Processo
è un'
istanza
di
Punishing
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
AgenteCognitivo
conosce
s
Entit�
non
desidera
Entit�
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17615-17633
IntervalloTemporale
è un'
istanza
di
Pushing
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?P
Putting
)
(
patient
?P ?S)
(
instance
?S
Spice
)
(
destination
?P ?F)
(
instance
?F
PreparedFood
))
(
exists
(?C ?A)
(
and
(
instance
?C
InternalChange
)
(
patient
?C ?F)
(
result
?C ?A)
(
attribute
?F ?A)
(
or
(
instance
?A
FlavourAttribute
)
(
instance
?A
ColorAttribute
)))))
Economy.kif 4384-4399
Processo
è un'
istanza
di
Porre
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Spice
Processo
fine
s in
Oggetto
Oggetto
è un'
istanza
di
PreparedFood
Processo
Attributo
Processo
è un'
istanza
di
CambiamentoInterno
Oggetto
è un
paziente
di
Processo
Attributo
è un
risultato
di
Processo
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
FlavourAttribute
Attributo
è un'
istanza
di
AttributoDiColore
(=>
(
and
(
instance
?PROCESS
Naming
)
(
patient
?PROCESS ?THING)
(
destination
?PROCESS ?NAME))
(
holdsDuring
(
FutureFn
(
WhenFn
?PROCESS))
(
names
?NAME ?THING)))
Merge.kif 13279-13284
Processo
è un'
istanza
di
Naming
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
names
Entit�
and
Entit�
vales
durante
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?PUT
Putting
)
(
destination
?PUT ?PLACE)
(
patient
?PUT ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?PUT))
(
not
(
located
?OBJ ?PLACE)))
(
holdsDuring
(
EndFn
(
WhenFn
?PUT))
(
located
?OBJ ?PLACE))))
Merge.kif 11427-11434
Processo
è un'
istanza
di
Porre
Processo
fine
s in
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?R
Reserving
)
(
agent
?R ?CUST)
(
destination
?R ?AGENT))
(
potentialCustomer
?CUST ?AGENT))
Dining.kif 762-767
Processo
è un'
istanza
di
Reserving
Processo
è un
agente
di
AgenteCognitivo
Processo
fine
s in
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
(=>
(
and
(
instance
?REPAYMENT
Repayment
)
(
instance
?REPAYMENT_DESTINATION
Object
)
(
destination
?REPAYMENT ?REPAYMENT_DESTINATION)
(
instance
?REPAYMENT_ORIGIN
Object
)
(
origin
?REPAYMENT ?REPAYMENT_ORIGIN))
(
exists
(?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)
(
and
(
instance
?PAYMENT
Payment
)
(
instance
?PAYMENT_ORIGIN
Object
)
(
instance
?PAYMENT_DESTINATION
Object
)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
destination
?PAYMENT ?PAYMENT_DESTINATION)
(
origin
?PAYMENT ?PAYMENT_ORIGIN)
(
equal
?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)
(
equal
?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))
UXExperimentalTerms.kif 1883-1900
Processo
è un'
istanza
di
Repayment
Processo
_DESTINATION è un'
istanza
di
Oggetto
Processo
fine
s in
Processo
_DESTINATION
Processo
_ORIGIN è un'
istanza
di
Oggetto
Processo
si
originas in
Processo
_ORIGIN
Processo
Processo
_ORIGIN and
Processo
_DESTINATION
Processo
è un'
istanza
di
Payment
Processo
_ORIGIN è un'
istanza
di
Oggetto
Processo
_DESTINATION è un'
istanza
di
Oggetto
Processo
is
uguale
a
Processo
Processo
fine
s in
Processo
_DESTINATION
Processo
si
originas in
Processo
_ORIGIN
Processo
_ORIGIN is
uguale
a
Processo
_DESTINATION
Processo
_DESTINATION is
uguale
a
Processo
_ORIGIN
(=>
(
and
(
instance
?REQUEST
ViewItemRequest
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
ViewItemPage
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
Advertising
)
(
subProcess
?ACCESSING ?REQUEST)
(
component
?PAGE ?LISTING)
(
destination
?ACCESSING ?PAGE)
(
agent
?ACCESSING ?AGENT))
(
viewedListing
?AGENT ?LISTING))
UXExperimentalTerms.kif 1570-1581
Processo
è un'
istanza
di
ViewItemRequest
Processo
è un'
istanza
di
AccessingWebPage
OggettoCorpuscolare
è un'
istanza
di
ViewItemPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
Pubblicit�
Processo
è un
sottoprocesso
di
Processo
OggettoCorpuscolare
è un
componente
di
WebListing
Processo
fine
s in
OggettoCorpuscolare
Processo
è un
agente
di
AutonomousAgent
viewedListing
AutonomousAgent
and
WebListing
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11785-11795
Processo
è un'
istanza
di
GivingBack
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Processo
Processo
è un'
istanza
di
Dare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17265-17273
Processo
è un'
istanza
di
Returning
AutonomousAgent
esperisce
s
Processo
Processo
fine
s in
Entit�
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
localizzato
in
Entit�
vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?S
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 16226-16238
Processo
è un'
istanza
di
LegalSummons
ContentBearingPhysical
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
Entit�
Entit�
è un'
istanza
di
CourtRoom
ContentBearingPhysical
contiene
s informazione l'affermazione
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
ha il modello di forza di
Law
(=>
(
and
(
instance
?S
SeizingProperty
)
(
destination
?S ?A)
(
origin
?S ?V)
(
instance
?V
CognitiveAgent
))
(
and
(
instance
?A
Government
)
(
not
(
confersNorm
?V
(
destination
?S ?A)
Permission
))))
Mid-level-ontology.kif 18700-18711
Processo
è un'
istanza
di
SeizingProperty
Processo
fine
s in
Entit�
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
AgenteCognitivo
Entit�
è un'
istanza
di
Governo
confersNorm
Oggetto
,
Processo
non %n
fine
in
Entit�
and
Permission
(=>
(
and
(
instance
?S
Spamming
)
(
instance
?G
GroupOfPeople
)
(
memberCount
?G ?N)
(
destination
?S ?G))
(
modalAttribute
(
greaterThan
?N 100)
Likely
))
ComputingBrands.kif 4187-4195
Processo
è un'
istanza
di
Spamming
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberCount
InsiemeConcreto
and
NumeroIntero
Processo
fine
s in
InsiemeConcreto
l'affermazione
NumeroIntero
è
pi
ù grande di 100 ha il modello di forza di
Likely
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
exists
(?R)
(
and
(
instance
?R
Requesting
)
(
patient
?R ?SPAM)))))
ComputingBrands.kif 4197-4208
Processo
è un'
istanza
di
Spamming
Processo
PAM è un
risultato
di
Processo
Processo
è un'
istanza
di
Spam
Entit�
è un'
istanza
di
Umano
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
Richiedere
Processo
PAM è un
paziente
di
Processo
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
Processo
è un'
istanza
di
Spamming
Processo
PAM è un
risultato
di
Processo
Processo
è un'
istanza
di
Spam
Entit�
è un'
istanza
di
Umano
Processo
fine
s in
Entit�
l'affermazione
Entit�
vuole
s
Processo
PAM ha il modello di forza di
Likely
(=>
(
and
(
instance
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18563-18576
Processo
è un'
istanza
di
Sharing
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Dare
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è una
Parte
propria di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
(=>
(
and
(
instance
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18585-18593
Processo
è un'
istanza
di
Stealing
Processo
fine
s in
AgenteCognitivo
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
AgenteCognitivo
Oggetto
permette
a
AgenteCognitivo
di compiere il compito di tipo
Processo
fine
s in
AgenteCognitivo
(=>
(
and
(
instance
?Service
CommercialService
)
(
agent
?Service ?Agent)
(
employs
?Org ?Agent)
(
destination
?Service ?Customer))
(
hasPurpose
?Service
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
destination
?Transaction ?Org)
(
origin
?Transaction ?Customer)))))
FinancialOntology.kif 3590-3601
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
Processo
fine
s in
Entit�
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Entit�
fine
s in
AutonomousAgent
Entit�
si
originas in
Entit�
(=>
(
and
(
instance
?T
Thanking
)
(
destination
?T ?P))
(
instance
?P
Human
))
Mid-level-ontology.kif 13159-13163
Processo
è un'
istanza
di
Thanking
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11327-11350
Processo
è un'
istanza
di
Translocation
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
si
originas in
Oggetto
Processo
fine
s in
Oggetto
Processo
fine
s in
Entit�
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
inizia
s il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
finisce
es il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 689-702
Processo
è un'
istanza
di
TropicalCyclone
Processo
fine
s in
Entit�Concreta
Entit�Concreta
è un'
istanza
di
AreaGeografica
Oggetto
Entit�Concreta
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
Entit�Concreta
è un'
istanza
di
Shoreline
Entit�Concreta
è
localizzato
in
Oggetto
la
distanza
tra
Oggetto
e
Entit�Concreta
è
NumeroReale
Mile
(s
NumeroReale
è
pi
ù grande di 200.0
(=>
(
and
(
instance
?THANK
Thanking
)
(
agent
?THANK ?AGENT)
(
patient
?THANK ?THING)
(
destination
?THANK ?PERSON))
(
and
(
instance
?PERSON
Human
)
(
or
(
holdsDuring
(
WhenFn
?THANK)
(
wants
?AGENT ?THING))
(
holdsDuring
(
WhenFn
?THANK)
(
desires
?AGENT ?THING)))))
Mid-level-ontology.kif 13147-13157
Processo
è un'
istanza
di
Thanking
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Umano
AutonomousAgent
vuole
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
AutonomousAgent
desidera
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?THREATEN
Threatening
)
(
patient
?THREATEN ?PROP)
(
destination
?THREATEN ?DEST))
(
believes
?DEST
(
attribute
?PROP
Dangerous
)))
MilitaryPersons.kif 212-218
Processo
è un'
istanza
di
Threatening
Entit�
è un
paziente
di
Processo
Processo
fine
s in
AgenteCognitivo
AgenteCognitivo
crede
s
attribute
Entit�
and
Dangerous
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