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
CurrencyFn
Sigma KEE - CurrencyFn
CurrencyFn
appearance as argument number 1
(
documentation
CurrencyFn
EnglishLanguage
"A unary function that maps a
FinancialAccount
to the currency linked to the account.")
FinancialOntology.kif 285-286
(
domain
CurrencyFn
1
FinancialAccount
)
FinancialOntology.kif 283-283
CurrencyFn
の数値 1 引数は
FinancialAccount
の
instance
では %n
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
CurrencyFn
は
1変数関数
の
instance
では %n
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
CurrencyFn
の
range
は
FinancialInstrument
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
CurrencyFn
"%1 的 currency")
domainEnglishFormat.kif 608-608
(
format
ChineseTraditionalLanguage
CurrencyFn
"%1 的 currency")
domainEnglishFormat.kif 607-607
(
format
EnglishLanguage
CurrencyFn
"the currency of %1")
domainEnglishFormat.kif 606-606
(
termFormat
ChineseLanguage
CurrencyFn
"货币")
domainEnglishFormat.kif 18090-18090
(
termFormat
ChineseTraditionalLanguage
CurrencyFn
"貨幣")
domainEnglishFormat.kif 18089-18089
(
termFormat
EnglishLanguage
CurrencyFn
"currency")
domainEnglishFormat.kif 18088-18088
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1818-1828
工程
は
Withdrawal
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
liquidity
FinancialAccount
and
HighLiquidity
(=>
(
and
(
instance
?Account
CheckingAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
or
(
exists
(?Check)
(
and
(
instance
?Check
Check
)
(
instrument
?Transaction ?Check)))
(
exists
(?DebitCard)
(
and
(
instance
?DebitCard
DebitCard
)
(
instrument
?Transaction ?DebitCard)))))
FinancialOntology.kif 1129-1142
FinancialAccount
は
CheckingAccount
の
instance
では %n
工程
は
金融取引
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
オブジェクト
オブジェクト
は
Check
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
オブジェクト
は
DebitCard
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?Account
CreditCardAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Card)
(
and
(
instance
?Card
CreditCard
)
(
instrument
?Transaction ?Card))))
FinancialOntology.kif 1239-1247
FinancialAccount
は
CreditCardAccount
の
instance
では %n
工程
は
金融取引
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
オブジェクト
オブジェクト
は
CreditCard
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
LiabilityAccount
は
LiabilityAccount
の
instance
では %n
minimumPayment
LiabilityAccount
,
実数
の
測定単位
(s) and
MonthDuration
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
時間間隔
時間間隔
は
月
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
paymentsPerPeriod
LiabilityAccount
,
実数
の
測定単位
(s) and
時間間隔
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
FinancialAccount
は
SavingsAccount
の
instance
では %n
工程
は
金融取引
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
AuthorizationOfTransaction
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
FinancialOntology.kif 1115-1124
FinancialAccount
は
TraditionalSavingsAccount
の
instance
では %n
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
は
CertificateOfDeposit
の
instance
では %n
maturityDate
FinancialAccount
and
日
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
の
date
は
日
では
日
の
end
は
日
の
beginning
の
before
に happens %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
金融取引
は
Deposit
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(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
金融取引
は
Payment
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の すぐ
after
and
実数
の
測定単位
(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
金融取引
は
金融取引
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
Currency
の
instance
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
の
date
は
日
では
実数
availableCash
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
オブジェクト
の
value
は
通貨測定
では %n
工程
は
ProcessingACheck
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
金融取引
金融取引
Time
金融取引
は
Deposit
の
instance
では %n
オブジェクト
は
金融取引
の
instrument
では %n
金融取引
の
time
の existence は
金融取引
Time と
equal
では %n
工程
Time は
金融取引
Time に
meet
s %n{ない}
transactionAmount
金融取引
and
通貨測定
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
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
金融取引
and
通貨測定
金融取引
の
date
は
日
では
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
amountDue
FinancialAccount
,
通貨測定
and
時間間隔
日
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
金融取引
は
Prepayment
の
instance
では %n
consequent
(=>
(
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
,
通貨測定
and
時間位置
accountHolder
FinancialAccount
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
通貨測定
agreementEffectiveDate
Loan
and
時点
金融取引
transactionAmount
金融取引
and
通貨測定
金融取引
の
date
は
時点
では
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
(=>
(
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
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
時点
and
実数
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
agreementEffectiveDate
FinancialAccount
and
時点
金融取引
の
date
は
時点
では
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
FinancialAccount
は
FinancialAccount
の
instance
では %n
minimumBalance
FinancialAccount
,
UsingAnAccount
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
currentAccountBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
の
date
は
日
では
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 759-775
LiabilityAccount
は
LiabilityAccount
の
instance
では %n
minimumPayment
LiabilityAccount
,
実数
の
測定単位
(s) and
MonthDuration
測定単位
は
UnitOfCurrency
の
instance
では %n
工程
時間間隔
時間間隔
は
月
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
paymentsPerPeriod
LiabilityAccount
,
実数
の
測定単位
(s) and
時間間隔
実数
は
実数
より
less
では %n
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
LiabilityAccount
に
end
s %n{ない}
(=>
(
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
は
SavingsAccount
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
interestEarned
FinancialAccount
,
Interest
and
時間間隔
金融取引
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
認識エージェント
に
end
s %n{ない}
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
FinancialOntology.kif 1115-1124
FinancialAccount
は
TraditionalSavingsAccount
の
instance
では %n
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
は
CertificateOfDeposit
の
instance
では %n
maturityDate
FinancialAccount
and
日
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
の
date
は
日
では
日
の
end
は
日
の
beginning
の
before
に happens %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
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
工程
は
DepositingACheck
の
instance
では %n
Check
は
工程
の
patient
では %n
Check
は
Check
の
instance
では %n
checkAccount
Check
and
FinancialAccount
Check
の
value
は
通貨測定
では %n
金融取引
金融取引
は
Deposit
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
通貨測定
(=>
(
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
は
BalloonLoan
の
instance
では %n
maturityDate
Loan
and
日
totalBalance
Loan
and
通貨測定
borrower
Loan
and
認識エージェント
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
工程
は
Refinancing
の
instance
では %n
工程
は
日
の
during
exists %n{ない}
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
borrower
Loan
and
認識エージェント
currentAccountBalance
Loan
,
日
and
通貨測定
Loan
は
工程
の
patient
では %n
Loan
金融取引
Loan
は
Loan
の
instance
では %n
borrower
Loan
and
認識エージェント
securedBy
Loan
and
Collateral
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
金融取引
は
日
の
during
exists %n{ない}
金融取引
は
CurrencyFn
Loan
から
originate
s %n{ない}
transactionAmount
金融取引
and
通貨測定
(=>
(
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
は
BankStatement
の
instance
では %n
statementAccount
BankStatement
and
FinancialAccount
工程
工程
は
金融取引
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
BankStatement
は
工程
の内容を
express
es %n{ない}
(=>
(
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
オブジェクト
の
value
は
通貨測定
では %n
工程
は
ProcessingACheck
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
FinancialAccount
は
FinancialAccount
の
instance
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
金融取引
金融取引
Time
金融取引
は
Deposit
の
instance
では %n
オブジェクト
は
金融取引
の
instrument
では %n
金融取引
の
time
の existence は
金融取引
Time と
equal
では %n
工程
Time は
金融取引
Time に
meet
s %n{ない}
transactionAmount
金融取引
and
通貨測定
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
工程
は
Deposit
の
instance
では %n
FinancialAccount
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
(=>
(
instance
?Loan
ConsolidationLoan
)
(
exists
(?Loan1 ?Loan2 ?Payment1 ?Payment2)
(
and
(
instance
?Loan1
Loan
)
(
instance
?Loan2
Loan
)
(
destination
?Payment1
(
CurrencyFn
?Loan1))
(
destination
?Payment2
(
CurrencyFn
?Loan2))
(
origin
?Payment1
(
CurrencyFn
?Loan))
(
origin
?Payment2
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 1523-1532
FinancialAccount
は
ConsolidationLoan
の
instance
では %n
FinancialAccount
1
FinancialAccount
2,
工程
and
工程
FinancialAccount
1 は
Loan
の
instance
では %n
FinancialAccount
2 は
Loan
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
1 に
end
s %n{ない}
工程
は
CurrencyFn
FinancialAccount
2 に
end
s %n{ない}
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
工程
は
Withdrawal
の
instance
では %n
FinancialAccount
FinancialAccount
は
FinancialAccount
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
(=>
(
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
,
通貨測定
and
時間分
金融取引
工程
金融取引
は
Payment
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
通貨測定
金融取引
は
工程
の
instance
では %n
工程
は
時間分
ごとに
occur
s %n{ない}
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