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
e' uma
instancia
de
Exporting
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Area Geopolitica
Processo
tem como
origem
Objeto
Fisico
e' uma
instancia
de
Area Geopolitica
Processo
termina
em
Fisico
Fisico
e'
situado
em
Objeto
(=>
(
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
Area Aquatica
e' uma
instancia
de
Waterfall
WaterMotion
e' uma
instancia
de
WaterMotion
flowCurrent
WaterMotion
and
Area Aquatica
WaterMotion
tem como
origem
Objeto
WaterMotion
termina
em
Objeto
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
e'
Above
em relacao a
Objeto
(=>
(
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
Objeto
e' uma
instancia
de
AbsoluteFilter
Processo
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
GasMixture
Objeto
e' um
patient
de
Processo
Solid
e' um
atributo
de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma &parte de
Objeto
(=>
(
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
e' uma
instancia
de
FlashingLight
Processo
tem como
origem
Objeto
Processo
Intervalo Temporal
and
Processo
Processo
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' uma
instancia
de
Luz Irradiante
tempo
de existencia de
Processo
encontra
Intervalo Temporal
Intervalo Temporal
encontra
tempo
de existencia de
Processo
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
tem como
origem
Objeto
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
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
Objeto
e' uma
instancia
de
FuelPump
Objeto
e' uma
instancia
de
Automobile
Objeto
e' uma &parte de
Objeto
Movimento
e' uma
instancia
de
Transporte
Processo
e' uma
instancia
de
Fuel
Processo
e' um
patient
de
Movimento
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
GasTank
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
EngineCylinder
Objeto
e' uma &parte de
Objeto
Movimento
tem como
origem
Objeto
Movimento
termina
em
Objeto
Objeto
e' o
caminho
ao longo do qual
Movimento
ocorre
Movimento
tem por
fim
Processo
F
Processo
F e' uma
instancia
de
FuelFilter
betweenOnPath
Objeto
,
Processo
F,
Objeto
and
Objeto
(=>
(
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
e' uma
instancia
de
Inheriting
Processo
e' um
agente
de
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
possui
Entidade
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Movimento
e' uma
instancia
de
Movimento
moves
Movimento
and
Objeto
Movimento
tem como
origem
Objeto
Objeto
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
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
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Objeto
Processo
Objeto
e' uma
instancia
de
Regiao
Objeto
e'
igual
a
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
Objeto
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
Processo
e' uma
instancia
de
MovingAwayFromPeople
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e'
igual
a
Entidade
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
Processo
e' uma
instancia
de
MovingTowardsPeople
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e'
igual
a
Entidade
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
Pulling
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
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
Intervalo Temporal
e' uma
instancia
de
Pushing
Intervalo Temporal
tem como
origem
Objeto
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
AutonomousAgent
LOC
vale
durante o
comeco
de
Intervalo Temporal
Intervalo Temporal
termina
em
Entidade
Entidade
Entidade
and
Entidade
a
distancia
entre
AutonomousAgent
LOC e
Entidade
e'
Entidade
Entidade
(s) a
distancia
entre
AutonomousAgent
LOC e
Objeto
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
vale
durante imediatemente
apos
o
comeco
de
Intervalo Temporal
(=>
(
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
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(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
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
Repayment
Processo
_DESTINATION e' uma
instancia
de
Objeto
Processo
termina
em
Processo
_DESTINATION
Processo
_ORIGIN e' uma
instancia
de
Objeto
Processo
tem como
origem
Processo
_ORIGIN
Processo
Processo
_ORIGIN and
Processo
_DESTINATION
Processo
e' uma
instancia
de
Payment
Processo
_ORIGIN e' uma
instancia
de
Objeto
Processo
_DESTINATION e' uma
instancia
de
Objeto
Processo
e'
igual
a
Processo
Processo
termina
em
Processo
_DESTINATION
Processo
tem como
origem
Processo
_ORIGIN
Processo
_ORIGIN e'
igual
a
Processo
_DESTINATION
Processo
_DESTINATION e'
igual
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
e' uma
instancia
de
SeizingProperty
Processo
termina
em
Entidade
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Governo
confersNorm
Objeto
,
Processo
nao %n
termina
%n em
Entidade
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
e' uma
instancia
de
Stealing
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Agente Cognitivo
Objeto
nao
autoriza
%n
Agente Cognitivo
a executar tarefas de tipo
Processo
termina
em
Agente Cognitivo
(=>
(
and
(
instance
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
Objeto Corpuscular
e' uma
instancia
de
HardwareSystem
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
Processo
e' uma
instancia
de
DataTransfer
Processo
tem como
origem
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
ComputerNetwork
Objeto Corpuscular
e' um
instrumento
para
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
e' uma
instancia
de
Translocation
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
tem como
origem
Objeto
Processo
termina
em
Objeto
Processo
termina
em
Entidade
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
tempo
de existencia de
Processo
termina
em
tempo
de existencia de
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
e' uma
instancia
de
TropicalCyclonicSystem
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
NorthAtlanticOcean
Objeto
e' uma
instancia
de
PacificOcean
Objeto
e' uma
instancia
de
IndianOcean
Objeto
Atributo Directional
,
Numero Real
and
Longitude
Objeto
e'
situado
em
Objeto
Atributo Directional
e' uma
instancia
de
Atributo Directional
objectGeographicCoordinates
Objeto
,
LatitudeFn
Atributo Directional
and
Numero Real
AngularDegree
(s) and
Longitude
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
South
Numero Real
e'
menos
que 5.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
Objeto
e' uma
instancia
de
Vehicle
Processo
e' uma
instancia
de
Translocation
Objeto
e' um
instrumento
para
Processo
Processo
tem como
origem
Objeto
Objeto
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
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
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Entidade
e' uma
instancia
de
Currency
Entidade
e' um
patient
de
Transacao Financeira
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableCash
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
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
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableBalance
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?Transfer
ExternalTransfer
)
(
origin
?Transfer ?Organization1)
(
instance
?Organization1
FinancialOrganization
)
(
destination
?Transfer ?Organization2)
(
instance
?Organization2
FinancialOrganization
))
(
equal
?Organization1 ?Organization2))
FinancialOntology.kif 4143-4150
Processo
e' uma
instancia
de
ExternalTransfer
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
FinancialOrganization
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
FinancialOrganization
Objeto
e'
igual
a
Entidade
(=>
(
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
e' uma
instancia
de
ExternalTransfer
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
FinancialOrganization
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
FinancialOrganization
Objeto
e'
igual
a
Entidade
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