origin
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
Processo
e' uma
instancia
de
Immigrating
Processo
e' um
agente
de
AutonomousAgent
Area Geopolitica
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
tem como
origem
Area Geopolitica
Processo
termina
em
Area Geopolitica
Area Geopolitica
e'
igual
a
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
AutonomousAgent
e'
membro
de
CitizenryFn
Area Geopolitica
Processo
tem por
fim
AutonomousAgent
vive
em
Area Geopolitica
(=>
(
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 11744-11755
Processo
e' uma
instancia
de
Emprestar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Tomar Emprestado
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
Processo
e' uma
instancia
de
Medir
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
RTPCRTest
Processo
Processo
e' uma
instancia
de
Luz Irradiante
Processo
tem como
origem
Objeto
(=>
(
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
e' uma
instancia
de
FoodPickup
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Objeto
Processo
and
Processo
AutonomousAgent
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Translocation
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Obter
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
and
(
instance
?P
Passport
)
(
possesses
?A ?P))
(
confersNorm
?P
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Translocation
)
(
agent
?T ?A)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))))
Permission
))
Mid-level-ontology.kif 16561-16575
Objeto
e' uma
instancia
de
Passport
AutonomousAgent
possui
Objeto
confersNorm
Objeto
,
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' um
agente
de
AutonomousAgent
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
igual
a
Entidade
and
Permission
(=>
(
and
(
instance
?PLUG
ElectricalPlug
)
(
instance
?DEVICE
ElectricDevice
)
(
instance
?OUTLET
ElectricalOutlet
)
(
connectedEngineeringComponents
?DEVICE ?PLUG)
(
completelyFills
?PLUG ?OUTLET)
(
instance
?POWER
PowerSource
)
(
connectedEngineeringComponents
?POWER ?OUTLET))
(
exists
(?RE)
(
and
(
instance
?RE
RadiatingElectromagnetic
)
(
origin
?RE ?POWER)
(
destination
?RE ?DEVICE))))
Mid-level-ontology.kif 25947-25960
Componente de Engenharia
e' uma
instancia
de
ElectricalPlug
Componente de Engenharia
e' uma
instancia
de
ElectricDevice
Buraco
e' uma
instancia
de
ElectricalOutlet
Componente de Engenharia
e'
conectado
a
Componente de Engenharia
Componente de Engenharia
completa
completemente
Buraco
Componente de Engenharia
e' uma
instancia
de
PowerSource
Componente de Engenharia
e'
conectado
a
Buraco
Processo
Processo
e' uma
instancia
de
RadiatingElectromagnetic
Processo
tem como
origem
Componente de Engenharia
Processo
termina
em
Componente de Engenharia
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O
Organism
)
(
instance
?P
AnatomicalStructure
)
(
part
?P ?O))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
origin
?R ?O)
(
patient
?R ?P))))
Geography.kif 6412-6423
Entidade
e' uma
instancia
de
SheddingPart
Entidade
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Organismo
Objeto
e' uma
instancia
de
Estructura Anatomica
Objeto
e' uma &parte de
Objeto
Processo
Processo
e' uma
instancia
de
Remover
Processo
tem como
origem
Objeto
Objeto
e' um
patient
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
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Processo
e' uma
instancia
de
Refinancing
Processo
existe
durante
Dia
Loan
e' uma
instancia
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
Agente Cognitivo
currentAccountBalance
Loan
,
Dia
and
Medida de Divisa
Loan
e' um
patient
de
Processo
Loan
Transacao Financeira
Loan
e' uma
instancia
de
Loan
borrower
Loan
and
Agente Cognitivo
securedBy
Loan
and
Collateral
Transacao Financeira
termina
em
CurrencyFn
Loan
Transacao Financeira
existe
durante
Dia
Transacao Financeira
tem como
origem
CurrencyFn
Loan
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
instance
?S
Swallowing
)
(
agent
?S ?H))
(
exists
(?M ?E ?ST ?O)
(
and
(
instance
?M
Mouth
)
(
instance
?E
Esophagus
)
(
instance
?ST
Stomach
)
(
objectTransferred
?S ?O)
(
origin
?S ?M)
(
destination
?S ?ST)
(
path
?S ?E))))
Mid-level-ontology.kif 6595-6607
Transferencia
e' uma
instancia
de
Swallowing
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
Objeto
,
Transferencia
T and
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e' uma
instancia
de
Esophagus
Transferencia
T e' uma
instancia
de
Stomach
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
T
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
(=>
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT))
(
origin
?SELL ?AGENT))
Merge.kif 11933-11937
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
AutonomousAgent
(=>
(
and
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?OBJ)
(
attribute
?SOUND
Audible
))
(
exists
(?HUMAN ?HEAR)
(
and
(
instance
?HUMAN
Human
)
(
capability
(
KappaFn
?HEAR
(
and
(
instance
?HEAR
Hearing
)
(
agent
?HEAR ?HUMAN)
(
destination
?HEAR ?HUMAN)
(
origin
?HEAR ?OBJ)))
agent
?HUMAN))))
Merge.kif 13610-13624
Processo
e' uma
instancia
de
Som Irradiante
Processo
e' um
agente
de
AutonomousAgent
Audible
e' um
atributo
de
Processo
Objeto
Sequencia Simbolica
Objeto
e' uma
instancia
de
Humano
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
agent
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6567-6577
Transferencia
e' uma
instancia
de
Drooling
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
Mouth
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Saliva
Objeto
e' uma &parte de
AutonomousAgent
Transferencia
tem como
origem
Objeto
(=>
(
and
(
instance
?SPIT
Spitting
)
(
agent
?SPIT ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6553-6561
Processo
e' uma
instancia
de
Spitting
Processo
e' um
agente
de
AutonomousAgent
Objeto
Objeto
e' uma
instancia
de
Mouth
Objeto
e' uma &parte de
AutonomousAgent
Processo
tem como
origem
Objeto
(=>
(
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
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
termina
em
AutonomousAgent
Entidade
tem como
origem
Entidade
(=>
(
and
(
instance
?Statement
BankStatement
)
(
statementAccount
?Statement ?Account))
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
or
(
origin
?Transaction
(
CurrencyFn
?Account))
(
destination
?Transaction
(
CurrencyFn
?Account)))
(
realization
?Statement ?Transaction))))
FinancialOntology.kif 3885-3895
BankStatement
e' uma
instancia
de
BankStatement
statementAccount
BankStatement
and
FinancialAccount
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
termina
em
CurrencyFn
FinancialAccount
BankStatement
exprime
o conteudo de
Processo
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
Transferencia
e' uma
instancia
de
Thoracentesis
Objeto
e' um
patient
de
Transferencia
Transferencia
Objeto
,
Transferencia
N,
Objeto
,
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Inserting
Transferencia
e' um
sub
-processo de
Transferencia
objectTransferred
Transferencia
and
Objeto
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Transferencia
N
Objeto
e' uma
instancia
de
Needle
Fluid
e' um
atributo
de
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
termina
em
Objeto
Objeto
e' uma
instancia
de
Lung
Objeto
e' uma
instancia
de
Chest
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Transferencia
tem como
origem
Transferencia
N
Transferencia
termina
em
Objeto
Transferencia
N esta'
entre
Objeto
e
Objeto
Objeto
e'
Outside
em relacao a
Objeto
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
Processo
e' uma
instancia
de
TwoStrokeTransfer
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
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
?TRANS
Buying
)
(
attribute
?TRANS
CBT
)
(
patient
?TRANS ?OBJ)
(
instance
?OBJ
Object
))
(
exists
(?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?SELLER
AutonomousAgent
)
(
agent
?TRANS ?BUYER)
(
origin
?TRANS ?SELLER)
(
instance
?BUYER_LOCATION
GeopoliticalArea
)
(
instance
?SELLER_LOCATION
GeopoliticalArea
)
(
located
?SELLER ?SELLER_LOCATION)
(
located
?BUYER ?BUYER_LOCATION)
(
not
(
equal
?BUYER_LOCATION ?SELLER_LOCATION)))))
UXExperimentalTerms.kif 1841-1858
Objeto
e' uma
instancia
de
Comprar
CBT
e' um
atributo
de
Objeto
Entidade
e' um
patient
de
Objeto
Entidade
e' uma
instancia
de
Objeto
Objeto
AutonomousAgent
,
AutonomousAgent
_LOCATION and
Objeto
_LOCATION
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Objeto
e' uma
instancia
de
AutonomousAgent
Objeto
e' um
agente
de
AutonomousAgent
Objeto
tem como
origem
Objeto
AutonomousAgent
_LOCATION e' uma
instancia
de
Area Geopolitica
Objeto
_LOCATION e' uma
instancia
de
Area Geopolitica
Objeto
e'
situado
em
Objeto
_LOCATION
AutonomousAgent
e'
situado
em
AutonomousAgent
_LOCATION
AutonomousAgent
_LOCATION e'
igual
a
Objeto
_LOCATION
(=>
(
and
(
instance
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
Objeto
e' uma
instancia
de
PulmonaryVein
Processo
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Entidade
e' uma
instancia
de
Sangue
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
Lung
Processo
tem como
origem
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Heart
Processo
termina
em
Objeto
(=>
(
and
(
instance
?X
Buffet
)
(
member
?ITEM ?X)
(
located
?X ?LOC1)
(
instance
?E
Eating
)
(
agent
?E ?AGENT)
(
eventLocated
?E ?LOC2)
(
patient
?E ?ITEM))
(
and
(
not
(
equal
?LOC1 ?LOC2))
(
exists
(?G)
(
and
(
instance
?G
Getting
)
(
patient
?G ?ITEM)
(
origin
?G ?LOC1)
(
agent
?G ?AGENT)
(
before
(
WhenFn
?G)
(
WhenFn
?E))))))
Dining.kif 274-291
Colecao
e' uma
instancia
de
Buffet
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
eventLocated
Processo
and
Objeto
Fisico
e' um
patient
de
Processo
Objeto
e'
igual
a
Objeto
Processo
Processo
e' uma
instancia
de
Obter
Fisico
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
AutonomousAgent
tempo
de existencia de
Processo
comeca
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?X
DutyTax
)
(
refers
?X ?OBJ)
(
patient
?X ?OBJ))
(
exists
(?T ?N1 ?N2)
(
and
(
instance
?T
Transfer
)
(
patient
?T ?OBJ)
(
origin
?T ?N1)
(
destination
?T ?N2)
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
not
(
equal
?N1 ?N2))
(
earlier
(
WhenFn
?T)
(
WhenFn
?X))
(
causes
?T ?X))))
FinancialOntology.kif 949-964
Processo
e' uma
instancia
de
DutyTax
Processo
inclui uma
referencia
a
Entidade
Entidade
e' um
patient
de
Processo
Processo
Objeto
and
Entidade
Processo
e' uma
instancia
de
Transferencia
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e' uma
instancia
de
Nacao
Entidade
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Domestic
))
(
exists
(?ORIGIN ?DEST ?COUNTRY)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?COUNTRY)
(
located
?DEST ?COUNTRY)
(
instance
?COUNTRY
Nation
))))
Mid-level-ontology.kif 27125-27135
Objeto
e' uma
instancia
de
TelephoneCommunication
Domestic
e' um
atributo
de
Objeto
Objeto
Fisico
and
Objeto
Objeto
tem como
origem
Objeto
Objeto
termina
em
Fisico
Objeto
e'
situado
em
Objeto
Fisico
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Nacao
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
International
))
(
exists
(?ORIGIN ?DEST ?CTRY1 ?CTRY2)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?CTRY1)
(
located
?DEST ?CTRY2)
(
instance
?CTRY1
Nation
)
(
instance
?CTRY2
Nation
)
(
not
(
equal
?CTRY1 ?CTRY2)))))
Mid-level-ontology.kif 27142-27154
Objeto
e' uma
instancia
de
TelephoneCommunication
International
e' um
atributo
de
Objeto
Objeto
Fisico
,
Objeto
and
Objeto
Objeto
tem como
origem
Objeto
Objeto
termina
em
Fisico
Objeto
e'
situado
em
Objeto
Fisico
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Nacao
Objeto
e' uma
instancia
de
Nacao
Objeto
e'
igual
a
Objeto
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