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 10631-10643
Processo
e' uma
instancia
de
Empregar
Agente Cognitivo
e' uma
instancia
de
Organizacao
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
expects
Agente Cognitivo
and
Entidade
Entidade
e' uma
instancia
de
Transacao Financeira
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Entidade
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
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
e' uma
instancia
de
BalloonLoan
maturityDate
Loan
and
Dia
totalBalance
Loan
and
Medida de Divisa
borrower
Loan
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
e' uma
instancia
de
CallableLoan
lender
Loan
and
Agente Cognitivo
borrower
Loan
and
Agente Cognitivo
totalBalance
Loan
and
Medida de Divisa
Processo
e' uma
instancia
de
Call
Processo
e' um
agente
de
Agente Cognitivo
Loan
e' um
patient
de
Processo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?OCCUPATION
SkilledOccupation
)
(
attribute
?PERSON ?OCCUPATION))
(
exists
(?TRAINING)
(
and
(
instance
?TRAINING
EducationalProcess
)
(
destination
?TRAINING ?PERSON))))
Mid-level-ontology.kif 8264-8271
Atributo
e' uma
instancia
de
SkilledOccupation
Atributo
e' um
atributo
de
Objeto
Processo
Processo
e' uma
instancia
de
Processo Educacional
Processo
termina
em
Objeto
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
GeneralMerchandiseStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
AutonomousAgent
termina
em
Entidade
Entidade
e' um
patient
de
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
Colecao
e' uma
instancia
de
Organizacao
NonstoreRetailers
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Objeto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
termina
em
Entidade
Entidade
e' um
patient
de
AutonomousAgent
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
Processo
e' uma
instancia
de
BankCardPayment
Processo
termina
em
Objeto
Objeto
e'
capaz
de fazer
BankCardPayment
no role
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
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
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
Processo
e' uma
instancia
de
Perspiring
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Hand
Objeto
e' uma &parte de
AutonomousAgent
Processo
termina
em
Objeto
(=>
(
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
e' uma
instancia
de
PerspiringWholeBody
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
AutonomousAgent
Processo
nao %n
termina
%n em
Objeto
(=>
(
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
e' uma
instancia
de
SearchResultsPage
Lista
e' uma
instancia
de
SRPResults
Lista
e' um
componente
de
SearchResultsPage
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
+
comprimento
de
Lista
e'
igual
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
Fisico
e' uma
instancia
de
DisabledParking
AutonomousAgent
e' uma
instancia
de
Humano
Atributo
e' um
atributo
de
AutonomousAgent
Atributo
e' uma
instancia
de
Disability
Fisico
tem
finalidade
playsRoleInEvent
Fisico
,
destination
and
Entidade
playsRoleInEvent
Entidade
,
patient
and
Entidade
Entidade
e' uma
instancia
de
Veiculo de Transporte
para
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 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
?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
e' uma
instancia
de
ProfitSharingPlan
accountHolder
FinancialAccount
and
Agente Cognitivo
AutonomousAgent
emprega
Agente Cognitivo
profit
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
e' um
agente
de
AutonomousAgent
Numero Real
Numero Real
AY
Numero Real
AY e' uma
instancia
de
Transacao Financeira
transactionAmount
Numero Real
AY and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
Numero Real
AY
termina
em
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
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
?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 11763-11773
Processo
e' uma
instancia
de
GivingBack
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Dar
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
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
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
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
?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
?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 18564-18577
Processo
e' uma
instancia
de
Sharing
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
Objeto
e' um
patient
de
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Dar
Processo
e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' uma &parte de
Objeto
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Entidade
(=>
(
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
?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
?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
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