destination
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18048-18052
Processo
è un'
istanza
di
Entombing
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Tomb
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1723-1739
OggettoCorpuscolare
è un'
istanza
di
Exhaust
Fuel
è
fatto
di
OggettoCorpuscolare
Trasferimento
è un'
istanza
di
Trasferimento
OggettoCorpuscolare
NG è un'
istanza
di
Engine
Trasferimento
si
originas in
OggettoCorpuscolare
NG
Entit�Concreta
è un'
istanza
di
CatalyticConverter
Trasferimento
fine
s in
Entit�Concreta
objectTransferred
Trasferimento
and
OggettoCorpuscolare
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
OggettoCorpuscolare
è un
paziente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
and
(
instance
?E
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
Processo
è un'
istanza
di
RadioEmission
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
ReceiverDevice
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
Entit�
Processo
si
originas in
Oggetto
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Processo
fine
s in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Processo
si
originas in
Oggetto
Entit�
è un'
istanza
di
AreaGeopolitica
Processo
fine
s in
Entit�
Oggetto
is
uguale
a
Entit�
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Processo
si
originas in
Oggetto
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Processo
fine
s in
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11581-11585
Processo
è un'
istanza
di
Feeding
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
Animale
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7230-7239
Processo
è un'
istanza
di
Scholarship
Processo
fine
s in
Entit�
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
EducationalProgram
Entit�
esprime
il contenuto di
Entit�
Entit�
esperisce
s
Entit�
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
SuperficieAcquatica
è un'
istanza
di
Waterfall
WaterMotion
è un'
istanza
di
WaterMotion
flowCurrent
WaterMotion
and
SuperficieAcquatica
WaterMotion
si
originas in
Oggetto
WaterMotion
fine
s in
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
è
Above
a
Oggetto
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
Oggetto
è un'
istanza
di
FuelPump
Oggetto
è un'
istanza
di
Automobile
Oggetto
è una
parte
di
Oggetto
Movimento
è un'
istanza
di
Trasporto
Processo
è un'
istanza
di
Fuel
Processo
è un
paziente
di
Movimento
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
GasTank
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
EngineCylinder
Oggetto
è una
parte
di
Oggetto
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
ha
scopo
Processo
F
Processo
F è un'
istanza
di
FuelFilter
betweenOnPath
Oggetto
,
Processo
F,
Oggetto
and
Oggetto
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11695-11707
Processo
è un'
istanza
di
Dare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Ottenere
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Trasferimento
è un'
istanza
di
Ingestione
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Hallucinogen
Trasferimento
fine
s in
Entit�
l'affermazione
Oggetto
AL
Oggetto
AL è un'
istanza
di
Hallucination
Entit�
esperisce
s
Oggetto
AL ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
è un'
istanza
di
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
fine
s in
Entit�
ComputerProcess
ha
scopo
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entit�
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11446-11453
Processo
è un'
istanza
di
Inserting
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
contains
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
contains
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
Processo
è un'
istanza
di
LoadingWeapon
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
ProjectileLauncher
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11766-11777
Processo
è un'
istanza
di
DareInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
PrendereInPrestito
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11074-11079
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
fine
s in
Entit�
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Movimento
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
Processo
è un'
istanza
di
MovingAwayFromPeople
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
is
uguale
a
Entit�
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
Processo
è un'
istanza
di
MovingTowardsPeople
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
is
uguale
a
Entit�
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processo
è un'
istanza
di
BankCardPayment
Processo
fine
s in
Oggetto
Oggetto
è
capace
di fare
BankCardPayment
nel ruolo
destination
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
Processo
è un'
istanza
di
FoodPickup
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Oggetto
Processo
and
Processo
AutonomousAgent
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Translocation
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Ottenere
Processo
si
originas in
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
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