destination
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10653-10665
Processo
è un'
istanza
di
Assunzione
AgenteCognitivo
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
expects
AgenteCognitivo
and
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
Entit�
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
Loan
è un'
istanza
di
BalloonLoan
maturityDate
Loan
and
Giorno
totalBalance
Loan
and
MisuraMonetaria
borrower
Loan
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
Loan
è un'
istanza
di
CallableLoan
lender
Loan
and
AgenteCognitivo
borrower
Loan
and
AgenteCognitivo
totalBalance
Loan
and
MisuraMonetaria
Processo
è un'
istanza
di
Call
Processo
è un
agente
di
AgenteCognitivo
Loan
è un
paziente
di
Processo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?OCCUPATION
SkilledOccupation
)
(
attribute
?PERSON ?OCCUPATION))
(
exists
(?TRAINING)
(
and
(
instance
?TRAINING
EducationalProcess
)
(
destination
?TRAINING ?PERSON))))
Mid-level-ontology.kif 8263-8270
Attributo
è un'
istanza
di
SkilledOccupation
attribute
Oggetto
and
Attributo
Processo
Processo
è un'
istanza
di
ProcessoEducazionale
Processo
fine
s in
Oggetto
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
GeneralMerchandiseStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7702-7716
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
GeneralMerchandiseStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
AutonomousAgent
fine
s in
Entit�
Entit�
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
NonstoreRetailers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
fine
s in
Entit�
Entit�
è un
paziente
di
AutonomousAgent
(=>
(
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
(=>
(
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 16560-16574
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
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
Processo
è un'
istanza
di
Perspiring
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
Hand
Oggetto
è una
parte
di
AutonomousAgent
Processo
fine
s in
Oggetto
(=>
(
and
(
instance
?P
PerspiringWholeBody
)
(
experiencer
?P ?A))
(
not
(
exists
(?B)
(
and
(
instance
?B
BodyPart
)
(
part
?B ?A)
(
not
(
destination
?P ?B))))))
emotion.kif 1505-1515
Processo
è un'
istanza
di
PerspiringWholeBody
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Processo
non %n
fine
in
Oggetto
(=>
(
and
(
instance
?PAGE
SearchResultsPage
)
(
instance
?RESULTS
SRPResults
)
(
component
?RESULTS ?PAGE))
(
equal
(
DivisionFn
(
CardinalityFn
(
KappaFn
?CLICK
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?ELEMENT)
(
destination
?CLICK ?LINKEDPAGE)
(
instance
?ELEMENT
HypertextLink
)
(
component
?ELEMENT ?PAGE)
(
or
(
instance
?LINKEDPAGE
ProductDescriptionPage
)
(
instance
?LINKEDPAGE
ViewItemPage
)))))
(
ListLengthFn
?RESULTS))
(
SRPEngagementFn
?PAGE)))
UXExperimentalTerms.kif 3721-3739
SearchResultsPage
è un'
istanza
di
SearchResultsPage
Lista
è un'
istanza
di
SRPResults
Lista
è un
componente
di
SearchResultsPage
il numero di
istanzia
in la
classe
descritta da
Stringa
+
lunghezza
di
Lista
is
uguale
a
SRPEngagementFn
SearchResultsPage
(=>
(
and
(
instance
?PARK
DisabledParking
)
(
instance
?AGENT
Human
)
(
attribute
?AGENT ?ATTR)
(
instance
?ATTR
Disability
))
(
hasPurposeForAgent
?PARK
(
and
(
playsRoleInEvent
?PARK
destination
?EVENT)
(
playsRoleInEvent
?TD
patient
?EVENT)
(
instance
?TD
TransportationDevice
)) ?AGENT))
TransportDetail.kif 49-59
Entit�Concreta
è un'
istanza
di
DisabledParking
AutonomousAgent
è un'
istanza
di
Umano
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
Disability
Entit�Concreta
ha &n
scopo
playsRoleInEvent
Entit�Concreta
,
destination
and
Entit�
playsRoleInEvent
Entit�
,
patient
and
Entit�
Entit�
è un'
istanza
di
MezzoDiTrasporto
per
AutonomousAgent
(=>
(
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 25935-25948
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
?PSP
ProfitSharingPlan
)
(
accountHolder
?PSP ?H)
(
employs
?O ?H)
(
profit
?A
(
MeasureFn
?P ?U))
(
instance
?U
UnitOfCurrency
)
(
agent
?A ?O))
(
exists
(?C ?PAY)
(
and
(
instance
?PAY
FinancialTransaction
)
(
transactionAmount
?PAY
(
MeasureFn
?C ?U))
(
lessThan
?C ?P)
(
destination
?PAY ?PSP))))
FinancialOntology.kif 1192-1207
FinancialAccount
è un'
istanza
di
ProfitSharingPlan
accountHolder
FinancialAccount
and
AgenteCognitivo
AutonomousAgent
impiega
s
AgenteCognitivo
profit
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
AY
NumeroReale
AY è un'
istanza
di
ScambioFinanziario
transactionAmount
NumeroReale
AY and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
NumeroReale
AY
fine
s in
FinancialAccount
(=>
(
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
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11785-11795
Processo
è un'
istanza
di
GivingBack
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Processo
Processo
è un'
istanza
di
Dare
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
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 18700-18711
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
?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 6594-6606
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
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18563-18576
Processo
è un'
istanza
di
Sharing
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Dare
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
Oggetto
è una
Parte
propria di
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
(=>
(
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 13632-13646
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
?STEAL
Stealing
)
(
destination
?STEAL ?AGENT)
(
origin
?STEAL ?VICTIM)
(
instance
?VICTIM
CognitiveAgent
))
(
not
(
confersRight
(
destination
?STEAL ?AGENT) ?VICTIM ?AGENT)))
Mid-level-ontology.kif 18585-18593
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
?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
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