transactionAmount
(=>
(
and
(
rentalPrice
?OBJ ?QUANT ?AGENT ?PS)
(
equal
?QUANT
(
PerFn
?PRICE
(
measure
?TIME ?U)))
(
instance
?U
UnitOfDuration
)
(
immediateInstance
?ITEM ?OBJ)
(
instance
?R
Renting
)
(
patient
?R ?ITEM)
(
agent
?R ?CUSTOMER)
(
time
?R ?TIMEINT))
(
forall
(?X)
(=>
(
exists
(?DURATION)
(
and
(
during
?TIMEINT ?X)
(
instance
?X
TimeInterval
)
(
duration
?X
(
MeasureFn
?DURATION ?U))
(
lessThanOrEqualTo
?DURATION ?TIME)))
(
exists
(?P)
(
and
(
instance
?P
Payment
)
(
destination
?P ?AGENT)
(
agent
?P ?CUSTOMER)
(
transactionAmount
?P ?PRICE))))))
Catalog.kif 467-492
rentalPrice
Fisico
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Funcao de Quantidade
e'
igual
a
PerFn
Medida de Divisa
and a
medida
de
Numero Real
e'
Unidade de Medida
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
Entidade
e' uma
instancia
imediata de
Fisico
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
existe
durante
Numero Real
INT
Intervalo Temporal
Numero Real
Numero Real
INT acontece
durante
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menor
ou igual a
Numero Real
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
Agente Cognitivo
Transacao Financeira
e' um
agente
de
AutonomousAgent
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Numero Inteiro
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Colecao
memberType
Entidade
and
Objeto
memberCount
Entidade
and
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Transferencia
Colecao
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Colecao
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Objeto
memberCount
Colecao
and
Numero Inteiro
AutonomousAgent
possui
Colecao
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
Agente Cognitivo
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade
Quantidade
e' uma
instancia
de
Quantidade Fisica
Agente Cognitivo
deseja
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
tempo
de existencia de
Entidade
acontece
durante
Intervalo Temporal
objectTransferred
Entidade
and
Entidade
transactionAmount
Entidade
and
Medida de Divisa
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Quantidade
Agente Cognitivo
possui
Entidade
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
Objeto
,
Medida de Divisa
,
Intervalo Temporal
and
Quantidade Fisica
Quantidade Fisica
e' uma
instancia
de
Quantidade Fisica
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Comprar
tempo
de existencia de
Transferencia
acontece
durante
Intervalo Temporal
objectTransferred
Transferencia
and
Objeto
transactionAmount
Transferencia
and
Medida de Divisa
Transferencia
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
a
medida
de
Objeto
e'
Quantidade Fisica
AutonomousAgent
possui
Objeto
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
askPrice
Objeto
,
Medida de Divisa
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Offering
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
e' um
patient
de
Processo
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
bidPrice
Objeto
,
Medida de Divisa
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Offering
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
e' um
patient
de
Processo
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
Entidade
_OFFER e' uma
instancia
de
BestOffering
Entidade
_OFFER
contem
informacao
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Entidade
Entidade
(s)
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Entidade
2
Entidade
2 and
Entidade
Entidade
2 e' uma
instancia
de
Comprar
Entidade
2 e' um
agente
de
Entidade
2
Entidade
e' um
patient
de
Entidade
2
transactionAmount
Entidade
2 and
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
(=>
(
instance
?REPAYMENT
Repayment
)
(
exists
(?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT)
(
and
(
instance
?PAYMENT ?PAYMENT)
(
not
(
equal
?PAYMENT ?REPAYMENT))
(
transactionAmount
?PAYMENT ?PAYMENT_AMOUNT)
(
transactionAmount
?REPAYMENT ?REPAYMENT_AMOUNT)
(
equal
?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT))))
UXExperimentalTerms.kif 1872-1881
Transacao Financeira
e' uma
instancia
de
Repayment
Classe
Classe
_AMOUNT and
Transacao Financeira
_AMOUNT
Classe
e' uma
instancia
de
Classe
Classe
e'
igual
a
Transacao Financeira
transactionAmount
Classe
and
Classe
_AMOUNT
transactionAmount
Transacao Financeira
and
Transacao Financeira
_AMOUNT
Classe
_AMOUNT e'
igual
a
Transacao Financeira
_AMOUNT
(=>
(
instance
?RETURN
TaxReturn
)
(
hasPurpose
?RETURN
(
exists
(?CALCULATE ?AMOUNT ?TAX)
(
and
(
instance
?CALCULATE
Calculating
)
(
instrument
?CALCULATE ?RETURN)
(
result
?CALCULATE ?AMOUNT)
(
transactionAmount
?TAX ?AMOUNT)
(
instance
?TAX
Tax
)))))
FinancialOntology.kif 933-942
Fisico
e' uma
instancia
de
TaxReturn
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Calcular
Fisico
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
transactionAmount
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Tax
(=>
(
instance
?Stock
PreferredStock
)
(
exists
(?Dividend ?Amount)
(
and
(
instance
?Dividend
Dividend
)
(
transactionAmount
?Dividend ?Amount))))
FinancialOntology.kif 2172-2177
Entidade
e' uma
instancia
de
PreferredStock
Transacao Financeira
Medida de Divisa
Transacao Financeira
e' uma
instancia
de
Dividend
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
periodicPayment
?Account ?Amount ?Period)
(
exists
(?Payment ?Class)
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Amount)
(
instance
?Payment ?Class)
(
frequency
?Class ?Period))))
FinancialOntology.kif 742-750
periodicPayment
FinancialAccount
,
Medida de Divisa
and
Duracao Temporal
Transacao Financeira
Processo
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
e' uma
instancia
de
Processo
Processo
ocorre
todos os
Duracao Temporal
(=>
(
price
?Obj ?Money ?Agent)
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money))))
Mid-level-ontology.kif 7742-7749
price
Fisico
,
Medida de Divisa
and
AutonomousAgent
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Transacao Financeira
e' um
agente
de
AutonomousAgent
Fisico
e' um
patient
de
Transacao Financeira
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
productPrice
Entidade
,
Medida de Divisa
and
Agente Cognitivo
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
imediata de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
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