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 11853-11855
(
documentation
transactionAmount
JapaneseLanguage
"(
transactionAmount
?TRANSACTION ?AMOUNT) は、?AMOUNT が
FinancialTransaction
?TRANSACTION に取り出されている
CurrencyMeasure
のインスタンスであることを意味する。")
japanese_format.kif 1868-1870
(
domain
transactionAmount
1
FinancialTransaction
)
Merge.kif 11850-11850
Il numero 1 argomenti di
transactionAmount
è un
istanza
di
ScambioFinanziario
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 11851-11851
Il numero 2 argomenti di
transactionAmount
è un
istanza
di
MisuraMonetaria
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11847-11847
transactionAmount
è un'
istanza
di
PredicatoBinario
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11848-11848
transactionAmount
è un'
istanza
di
RelazioneMonovalente
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11849-11849
transactionAmount
è un'
istanza
di
RelazioneAValoreTotale
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
è una
sottorelazione
di
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
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
ScambioFinanziario
è un'
istanza
di
ScambioFinanziario
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Entit�
è un'
istanza
di
Currency
Entit�
è un
paziente
di
ScambioFinanziario
data
di
ScambioFinanziario
è
Giorno
NumeroReale
availableCash
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
ScambioFinanziario
è un'
istanza
di
ScambioFinanziario
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
data
di
ScambioFinanziario
è
Giorno
NumeroReale
availableBalance
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
ScambioFinanziario
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
ScambioFinanziario
and
MisuraMonetaria
data
di
ScambioFinanziario
è
Giorno
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
MisuraMonetaria
and
IntervalloTemporale
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
ScambioFinanziario
è un'
istanza
di
Prepayment
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
Entit�Concreta
Entit�Concreta
è un
paziente
di
ScambioFinanziario
valore
di
Entit�Concreta
è
MisuraMonetaria
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
è un
agente
di
AutonomousAgent
Processo
si
originas in
Oggetto
Entit�Concreta
è un
paziente
di
Processo
valore
di
Entit�Concreta
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un
sottoprocesso
di
Processo
ScambioFinanziario
è un'
istanza
di
Payment
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
AutonomousAgent
ScambioFinanziario
fine
s in
Oggetto
(=>
(
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
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
AgenteCognitivo
lender
Loan
and
AgenteCognitivo
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
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
MisuraMonetaria
agreementEffectiveDate
Loan
and
PuntoTemporale
ScambioFinanziario
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
data
di
ScambioFinanziario
è
PuntoTemporale
ScambioFinanziario
fine
s in
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Auctioning
Stringa
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
AuctionGMBFn
InsiemeConcreto
is
uguale
a
Entit�
_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
è un'
istanza
di
CreditAccount
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
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
è un'
istanza
di
CreditAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
principalAmount
FinancialAccount
and
NumeroReale
agreementPeriod
FinancialAccount
and
IntervalloTemporale
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
PuntoTemporale
and
NumeroReale
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
agreementEffectiveDate
FinancialAccount
and
PuntoTemporale
data
di
ScambioFinanziario
è
PuntoTemporale
(=>
(
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
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
principalAmount
Loan
and
NumeroReale
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
SavingsAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
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
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
è un'
istanza
di
DepositingACheck
Check
è un
paziente
di
Processo
Check
è un'
istanza
di
Check
checkAccount
Check
and
FinancialAccount
valore
di
Check
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Deposit
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
?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
?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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acquistare
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
GMBFn
InsiemeConcreto
is
uguale
a
Entit�
_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
è 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
?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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Vendere
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_SALE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_SALE_AMOUNT
GMVFn
InsiemeConcreto
is
uguale
a
Entit�
_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
valore
di
Check
è
MisuraMonetaria
checkAccount
Check
and
FinancialAccount
Processo
è un'
istanza
di
ProcessingACheck
Check
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Withdrawal
Check
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
si
originas in
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
valore
di
Oggetto
è
MisuraMonetaria
Processo
è un'
istanza
di
ProcessingACheck
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Deposit
Oggetto
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
fine
s in
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
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
agreementClause
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata %2
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
,
Obligation
,
Agreement
and
AgenteCognitivo
(=>
(
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
Entit�Concreta
,
MisuraMonetaria
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
%è una
istanza
immediata
Promise
Entit�
è un
agente
di
AgenteCognitivo
Entit�
fine
s in
AgenteCognitivo
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
Entit�
Entit�
si
originas in
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
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
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validityPeriod
PricingScheme
and
IntervalloTemporale
l'affermazione
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
vales
durante
IntervalloTemporale
(=>
(
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
Entit�
,
NumeroReale
Unit�DiMisura
(s and
AgenteCognitivo
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
publishedPrice
Entit�
,
NumeroReale
Unit�DiMisura
(s,
AgenteCognitivo
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
Entit�
Processo
è un'
istanza
di
Acquistare
%è una
istanza
immediata %2
Processo
è un
agente
di
AutonomousAgent
Processo
si
originas in
AgenteCognitivo
NumeroReale
è
meno
di
NumeroReale
l'affermazione
transactionAmount
Processo
and
NumeroReale
ha il modello di forza di
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