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
è un'
istanza
di
Immigrating
Processo
è un
agente
di
AutonomousAgent
AreaGeopolitica
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
AreaGeopolitica
è un'
istanza
di
Nazione
Processo
si
originas in
AreaGeopolitica
Processo
fine
s in
AreaGeopolitica
AreaGeopolitica
is
uguale
a
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
AutonomousAgent
è un
membro
di
CitizenryFn
AreaGeopolitica
Processo
ha
scopo
AutonomousAgent
abita
s in
AreaGeopolitica
(=>
(
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
è 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
?M
Measuring
)
(
instrument
?M ?R)
(
instance
?R
RTPCRTest
))
(
exists
(?E)
(
and
(
instance
?E
RadiatingLight
)
(
origin
?E ?R))))
Medicine.kif 1589-1597
Processo
è un'
istanza
di
Misurare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
RTPCRTest
Processo
Processo
è un'
istanza
di
RadiazioneLuminosa
Processo
si
originas in
Oggetto
(=>
(
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
(=>
(
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
Oggetto
è un'
istanza
di
Passport
AutonomousAgent
possiede
es
Oggetto
confersNorm
Oggetto
,
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è un
agente
di
AutonomousAgent
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Entit�
is
uguale
a
Entit�
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
Meccanismo
è un'
istanza
di
ElectricalPlug
Meccanismo
è un'
istanza
di
ElectricDevice
apertura
è un'
istanza
di
ElectricalOutlet
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
riempie
completamentes
apertura
Meccanismo
è un'
istanza
di
PowerSource
Meccanismo
è
connesso
a
apertura
Processo
Processo
è un'
istanza
di
RadiatingElectromagnetic
Processo
si
originas in
Meccanismo
Processo
fine
s in
Meccanismo
(=>
(
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
Entit�
è un'
istanza
di
SheddingPart
Entit�
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Organismo
Oggetto
è un'
istanza
di
StrutturaAnatomica
Oggetto
è una
parte
di
Oggetto
Processo
Processo
è un'
istanza
di
Spostamento
Processo
si
originas in
Oggetto
Oggetto
è un
paziente
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
?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
è un'
istanza
di
Refinancing
Processo
esistes
durante
Giorno
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
AgenteCognitivo
currentAccountBalance
Loan
,
Giorno
and
MisuraMonetaria
Loan
è un
paziente
di
Processo
Loan
ScambioFinanziario
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
securedBy
Loan
and
Collateral
ScambioFinanziario
fine
s in
CurrencyFn
Loan
ScambioFinanziario
esistes
durante
Giorno
ScambioFinanziario
si
originas in
CurrencyFn
Loan
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
Trasferimento
è un'
istanza
di
Swallowing
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
,
Trasferimento
T and
Oggetto
Oggetto
è un'
istanza
di
Mouth
Oggetto
è un'
istanza
di
Esophagus
Trasferimento
T è un'
istanza
di
Stomach
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
T
Oggetto
è
cammino
mentre
Trasferimento
si verifica
(=>
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT))
(
origin
?SELL ?AGENT))
Merge.kif 11933-11937
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
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
è un'
istanza
di
OndaSonora
Processo
è un
agente
di
AutonomousAgent
attribute
Processo
and
Audible
Oggetto
Stringa
Oggetto
è un'
istanza
di
Umano
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
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
Trasferimento
è un'
istanza
di
Drooling
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Mouth
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Saliva
Oggetto
è una
parte
di
AutonomousAgent
Trasferimento
si
originas in
Oggetto
(=>
(
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
è un'
istanza
di
Spitting
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Mouth
Oggetto
è una
parte
di
AutonomousAgent
Processo
si
originas in
Oggetto
(=>
(
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
?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
è un'
istanza
di
BankStatement
statementAccount
BankStatement
and
FinancialAccount
Processo
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
fine
s in
CurrencyFn
FinancialAccount
BankStatement
esprime
il contenuto di
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
Trasferimento
è un'
istanza
di
Thoracentesis
Oggetto
è un
paziente
di
Trasferimento
Trasferimento
Oggetto
,
Trasferimento
N,
Oggetto
,
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Inserting
Trasferimento
è un
sottoprocesso
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Trasferimento
N
Oggetto
è un'
istanza
di
Needle
attribute
Oggetto
and
Fluid
objectTransferred
Trasferimento
and
Oggetto
Oggetto
fine
s in
Oggetto
Oggetto
è un'
istanza
di
Lung
Oggetto
è un'
istanza
di
Chest
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Trasferimento
si
originas in
Trasferimento
N
Trasferimento
fine
s in
Oggetto
Trasferimento
N è
tra
Oggetto
e
Oggetto
Oggetto
è
Outside
a
Oggetto
(=>
(
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
è un'
istanza
di
TwoStrokeTransfer
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�
Processo
Processo
è un'
istanza
di
GasMotion
Entit�
è un'
istanza
di
Exhaust
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
apertura
Entit�
è un
paziente
di
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
?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
Oggetto
è un'
istanza
di
Acquistare
attribute
Oggetto
and
CBT
Entit�
è un
paziente
di
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
AutonomousAgent
,
AutonomousAgent
_LOCATION and
Oggetto
_LOCATION
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Oggetto
è un'
istanza
di
AutonomousAgent
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
si
originas in
Oggetto
AutonomousAgent
_LOCATION è un'
istanza
di
AreaGeopolitica
Oggetto
_LOCATION è un'
istanza
di
AreaGeopolitica
Oggetto
è
localizzato
in
Oggetto
_LOCATION
AutonomousAgent
è
localizzato
in
AutonomousAgent
_LOCATION
AutonomousAgent
_LOCATION is
uguale
a
Oggetto
_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
Oggetto
è un'
istanza
di
PulmonaryVein
Processo
è un'
istanza
di
Trasferimento
Entit�
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Entit�
è un'
istanza
di
Sangue
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Lung
Processo
si
originas in
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Heart
Processo
fine
s in
Oggetto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Buffet
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
eventLocated
Processo
and
Oggetto
Entit�Concreta
è un
paziente
di
Processo
Oggetto
is
uguale
a
Oggetto
Processo
Processo
è un'
istanza
di
Ottenere
Entit�Concreta
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
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
è un'
istanza
di
DutyTax
Processo
include un
riferimento
a
Entit�
Entit�
è un
paziente
di
Processo
Processo
Oggetto
and
Entit�
Processo
è un'
istanza
di
Trasferimento
Entit�
è un
paziente
di
Processo
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
è un'
istanza
di
Nazione
Entit�
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
Processo
causa
s
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
Oggetto
è un'
istanza
di
TelephoneCommunication
attribute
Oggetto
and
Domestic
Oggetto
Entit�Concreta
and
Oggetto
Oggetto
si
originas in
Oggetto
Oggetto
fine
s in
Entit�Concreta
Oggetto
è
localizzato
in
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Nazione
(=>
(
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
Oggetto
è un'
istanza
di
TelephoneCommunication
attribute
Oggetto
and
International
Oggetto
Entit�Concreta
,
Oggetto
and
Oggetto
Oggetto
si
originas in
Oggetto
Oggetto
fine
s in
Entit�Concreta
Oggetto
è
localizzato
in
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Oggetto
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