Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
transactionAmount
Sigma KEE - transactionAmount
transactionAmount
appearance as argument number 1
(
documentation
transactionAmount
ChineseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT)的意思是: ?AMOUNT 是在
FinancialTransaction
?TRANSACTION 中所交换
CurrencyMeasure
的实例。")
chinese_format.kif 3097-3099
(
documentation
transactionAmount
EnglishLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) means that ?AMOUNT is an instance of
CurrencyMeasure
being exhanged in the
FinancialTransaction
?TRANSACTION.")
Merge.kif 11875-11877
(
documentation
transactionAmount
JapaneseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) は、?AMOUNT が
FinancialTransaction
?TRANSACTION に取り出されている
CurrencyMeasure
のインスタンスであることを意味する。")
japanese_format.kif 1868-1870
(
domain
transactionAmount
1
FinancialTransaction
)
Merge.kif 11872-11872
O argumento numero 1 de
transactionAmount
e' uma
instancia
de
Transacao Financeira
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 11873-11873
O argumento numero 2 de
transactionAmount
e' uma
instancia
de
Medida de Divisa
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11869-11869
transactionAmount
e' uma
instancia
de
Predicado Binario
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11870-11870
transactionAmount
e' uma
instancia
de
Relacao com Valor Unico
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11871-11871
transactionAmount
e' uma
instancia
de
Relacao Total
appearance as argument number 2
(
format
ChineseLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 总额")
domainEnglishFormat.kif 2535-2535
(
format
ChineseTraditionalLanguage
transactionAmount
"%2 %n 是 %1 的 transaction 總額")
domainEnglishFormat.kif 2534-2534
(
format
EnglishLanguage
transactionAmount
"%2 is %n a transaction amount of %1")
domainEnglishFormat.kif 2533-2533
(
subrelation
amountCharged
transactionAmount
)
FinancialOntology.kif 909-909
amountCharged
e' uma
sub
-relacao de
transactionAmount
(
termFormat
ChineseLanguage
transactionAmount
"交易金额")
domainEnglishFormat.kif 58796-58796
(
termFormat
ChineseTraditionalLanguage
transactionAmount
"交易金額")
domainEnglishFormat.kif 58795-58795
(
termFormat
EnglishLanguage
transactionAmount
"transaction amount")
domainEnglishFormat.kif 58794-58794
antecedent
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
Transacao Financeira
e' uma
instancia
de
Deposit
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Entidade
e' uma
instancia
de
Currency
Entidade
e' um
patient
de
Transacao Financeira
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableCash
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableBalance
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
Transacao Financeira
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
currentAccountBalance
FinancialAccount
, imediatemente
antes
de
tempo
de existencia de
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
currentAccountBalance
FinancialAccount
, imediatemente
apos
apos
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Dia
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
Medida de Divisa
and
Intervalo Temporal
o
fim
de
Dia
comeca
antes
de o
comeco
de
Intervalo Temporal
Transacao Financeira
e' uma
instancia
de
Prepayment
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11879-11884
transactionAmount
Transacao Financeira
and
Medida de Divisa
Fisico
Fisico
e' um
patient
de
Transacao Financeira
o
valor
de
Fisico
e'
Medida de Divisa
consequent
(=>
(
and
(
agent
?Purchase ?Buyer)
(
origin
?Purchase ?Seller)
(
patient
?Purchase ?Object)
(
monetaryValue
?Object ?Money))
(
exists
(?Payment)
(
and
(
subProcess
?Payment ?Purchase)
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Money)
(
origin
?Payment ?Buyer)
(
destination
?Payment ?Seller))))
FinancialOntology.kif 487-499
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Objeto
Fisico
e' um
patient
de
Processo
o
valor
de
Fisico
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' um
sub
-processo de
Processo
Transacao Financeira
e' uma
instancia
de
Payment
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
AutonomousAgent
Transacao Financeira
termina
em
Objeto
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
FinancialOntology.kif 655-667
amountDue
FinancialAccount
,
Medida de Divisa
and
Posicao Temporal
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
borrower
Loan
and
Agente Cognitivo
lender
Loan
and
Agente Cognitivo
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
tem como
origem
Agente Cognitivo
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
downPayment
Loan
and
Medida de Divisa
agreementEffectiveDate
Loan
and
Ponto no tempo
Transacao Financeira
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Ponto no tempo
Transacao Financeira
termina
em
CurrencyFn
Loan
(=>
(
and
(
instance
?AUCTIONS
Collection
)
(
forall
(?AUC)
(=>
(
member
?AUC ?AUCTIONS)
(
instance
?AUC
Auctioning
))))
(
exists
(?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
transactionAmount
?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
AuctionGMBFn
?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 3202-3215
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Auctioning
Sequencia Simbolica
Entidade
_PURCHASE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_PURCHASE_AMOUNT
AuctionGMBFn
Colecao
e'
igual
a
Entidade
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
FinancialAccount
e' uma
instancia
de
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
tem como
origem
Agente Cognitivo
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
FinancialOrganization
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1224-1233
FinancialAccount
e' uma
instancia
de
CreditAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
principalAmount
FinancialAccount
and
Numero Real
agreementPeriod
FinancialAccount
and
Intervalo Temporal
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
FinancialAccount
e' uma
instancia
de
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Transacao Financeira
Ponto no tempo
and
Numero Real
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
agreementEffectiveDate
FinancialAccount
and
Ponto no tempo
a
data
de
Transacao Financeira
e'
Ponto no tempo
(=>
(
and
(
instance
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
Loan
e' uma
instancia
de
Loan
borrower
Loan
and
Agente Cognitivo
principalAmount
Loan
and
Numero Real
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Interest
)
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
FinancialAccount
e' uma
instancia
de
SavingsAccount
accountHolder
FinancialAccount
and
Agente Cognitivo
interestEarned
FinancialAccount
,
Interest
and
Intervalo Temporal
Transacao Financeira
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Interest
Transacao Financeira
termina
em
Agente Cognitivo
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
FinancialAsset
e' uma
instancia
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Dia
FinancialAsset
Holder
possui
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
Numero Real
Unidade de Medida
(s)
agreementPeriod
AccountFn
FinancialAsset
and
Intervalo Temporal
interestEarned
AccountFn
FinancialAsset
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
igual
a (
Numero Real
+
Numero Real
)
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Payment
Transacao Financeira
termina
em
FinancialAsset
Holder
Transacao Financeira
tem como
origem
AccountFn
FinancialAsset
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
Processo
e' uma
instancia
de
DepositingACheck
Check
e' um
patient
de
Processo
Check
e' uma
instancia
de
Check
checkAccount
Check
and
FinancialAccount
o
valor
de
Check
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Deposit
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
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
?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
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Comprar
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_PURCHASE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_PURCHASE_AMOUNT
GMBFn
Colecao
e'
igual
a
Entidade
_PURCHASE_AMOUNT
(=>
(
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
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Vender
Objeto
Objeto
e' uma
instancia
de
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Comprar
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e'
situado
em
Objeto
Sequencia Simbolica
Entidade
and
Entidade
_SALE_AMOUNT
total
a
classe
descrita por
Sequencia Simbolica
and
Entidade
_SALE_AMOUNT
GMVFn
Colecao
e'
igual
a
Entidade
_SALE_AMOUNT
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
checkAccount
?Check ?Account)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Withdrawal ?WithdrawalTime)
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instrument
?Withdrawal ?Check)
(
equal
(
WhenFn
?Withdrawal) ?WithdrawalTime)
(
meetsTemporally
?ProcessingTime ?WithdrawalTime)
(
transactionAmount
?Withdrawal ?Amount)
(
origin
?Withdrawal ?Account))))
FinancialOntology.kif 104-118
O
valor
de
Check
e'
Medida de Divisa
checkAccount
Check
and
FinancialAccount
Processo
e' uma
instancia
de
ProcessingACheck
Check
e' um
patient
de
Processo
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Withdrawal
Check
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
FinancialAccount
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
O
valor
de
Objeto
e'
Medida de Divisa
Processo
e' uma
instancia
de
ProcessingACheck
Objeto
e' um
patient
de
Processo
Processo
termina
em
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Deposit
Objeto
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
agreementClause
(
exists
(?B ?ITEM)
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?B ?BUYER)
(
origin
?B ?SELLER)
(
transactionAmount
?B ?PRICE)))
Obligation
?AGREE ?SELLER))
Catalog.kif 311-324
negotiatedPrice
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
agreementClause
Entidade
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
,
Obligation
,
Agreement
and
Agente Cognitivo
(=>
(
and
(
negotiatedPrice
?ENT ?PRICE ?AGREE)
(
partyToAgreement
?SELLER ?AGREE)
(
partyToAgreement
?BUYER ?AGREE))
(
modalAttribute
(
exists
(?S ?ITEM)
(
and
(
instance
?S
Selling
)
(
patient
?S ?ITEM)
(
immediateInstance
?ITEM ?ENT)
(
agent
?S ?SELLER)
(
destination
?S ?BUYER)
(
transactionAmount
?S ?PRICE)))
Promise
))
Catalog.kif 276-289
negotiatedPrice
Fisico
,
Medida de Divisa
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
imediata de
Fisico
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
termina
em
Agente Cognitivo
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Promise
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
tem como
origem
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
Entidade
,
Numero Real
Unidade de Medida
(s) and
Agente Cognitivo
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
publishedPrice
Entidade
,
Numero Real
Unidade de Medida
(s),
Agente Cognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
Entidade
Processo
e' uma
instancia
de
Comprar
AutonomousAgent
e' uma
instancia
imediata de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Agente Cognitivo
Numero Real
e'
menos
que
Numero Real
o argumento
transactionAmount
Processo
and
Numero Real
tem a
forca
modal
de
Likely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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