origin
(=>
(
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
?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
?FILTER
AbsoluteFilter
)
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
patient
?REMOVE ?PARTICLE)
(
attribute
?PARTICLE
Solid
)
(
instrument
?REMOVE ?FILTER))
(
not
(
part
?PARTICLE ?GAS)))
MilitaryDevices.kif 1379-1389
Oggetto
è un'
istanza
di
AbsoluteFilter
Processo
è un'
istanza
di
Spostamento
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
GasMixture
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
Solid
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
Processo
è un'
istanza
di
FlashingLight
Processo
si
originas in
Oggetto
Processo
IntervalloTemporale
and
Processo
Processo
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
è un'
istanza
di
RadiazioneLuminosa
il
tempo
di esistenza di
Processo
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
si
originas in
Oggetto
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
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
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
Processo
è un'
istanza
di
Inheriting
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Movimento
è un'
istanza
di
Movimento
moves
Movimento
and
Oggetto
Movimento
si
originas in
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Movimento
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Oggetto
Processo
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
Oggetto
(=>
(
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
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 17638-17656
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
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 17616-17634
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
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
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
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?PLACE)
(
patient
?REMOVE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?REMOVE))
(
located
?OBJ ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?REMOVE))
(
not
(
located
?OBJ ?PLACE)))))
Merge.kif 11384-11391
Processo
è un'
istanza
di
Spostamento
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
?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 18701-18712
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
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18586-18594
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
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
OggettoCorpuscolare
è un'
istanza
di
HardwareSystem
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
Processo
è un'
istanza
di
DataTransfer
Processo
si
originas in
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
ComputerNetwork
OggettoCorpuscolare
è uno
strumento
per
Processo
(=>
(
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 11305-11328
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
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 627-646
Processo
è un'
istanza
di
TropicalCyclonicSystem
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
NorthAtlanticOcean
Oggetto
è un'
istanza
di
PacificOcean
Oggetto
è un'
istanza
di
IndianOcean
Oggetto
AttributoDirezionale
,
NumeroReale
and
Longitude
Oggetto
è
localizzato
in
Oggetto
AttributoDirezionale
è un'
istanza
di
AttributoDirezionale
objectGeographicCoordinates
Oggetto
,
LatitudeFn
AttributoDirezionale
and
NumeroReale
AngularDegree
(s and
Longitude
AttributoDirezionale
is
uguale
a
North
AttributoDirezionale
is
uguale
a
South
NumeroReale
è
meno
di5.0
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
origin
?MOVE ?FROM))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?FROM)))
Merge.kif 15984-15990
Oggetto
è un'
istanza
di
Vehicle
Processo
è un'
istanza
di
Translocation
Oggetto
è uno
strumento
per
Processo
Processo
si
originas in
Oggetto
Oggetto
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
ScambioFinanziario
è un'
istanza
di
ScambioFinanziario
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Entit�
è un'
istanza
di
Currency
Entit�
è un
paziente
di
ScambioFinanziario
data
di
ScambioFinanziario
è
Giorno
NumeroReale
availableCash
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
ScambioFinanziario
è un'
istanza
di
ScambioFinanziario
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
data
di
ScambioFinanziario
è
Giorno
NumeroReale
availableBalance
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
equal
?Organization1 ?Organization2))
FinancialOntology.kif 4143-4150
Processo
è un'
istanza
di
ExternalTransfer
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
FinancialOrganization
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
FinancialOrganization
Oggetto
is
uguale
a
Entit�
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
not
(
equal
?Organization1 ?Organization2)))
FinancialOntology.kif 4129-4136
Processo
è un'
istanza
di
ExternalTransfer
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
FinancialOrganization
Processo
fine
s in
Entit�
Entit�
è un'
istanza
di
FinancialOrganization
Oggetto
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