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
transactionAmount
の数値 1 引数は
金融取引
の
instance
では %n
(
domain
transactionAmount
2
CurrencyMeasure
)
Merge.kif 11851-11851
transactionAmount
の数値 2 引数は
通貨測定
の
instance
では %n
(
instance
transactionAmount
BinaryPredicate
)
Merge.kif 11847-11847
transactionAmount
は
2進述語
の
instance
では %n
(
instance
transactionAmount
SingleValuedRelation
)
Merge.kif 11848-11848
transactionAmount
は
一価関係
の
instance
では %n
(
instance
transactionAmount
TotalValuedRelation
)
Merge.kif 11849-11849
transactionAmount
は
合計値関係
の
instance
では %n
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
は
transactionAmount
の
subrelation
では %n
(
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
金融取引
は
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
(
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
金融取引
は
金融取引
の
instance
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
の
date
は
日
では
実数
availableBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
金融取引
は
Withdrawal
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(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
金融取引
and
通貨測定
金融取引
の
date
は
日
では
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
amountDue
FinancialAccount
,
通貨測定
and
時間間隔
日
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
金融取引
は
Prepayment
の
instance
では %n
(=>
(
transactionAmount
?TRANS ?AMOUNT)
(
exists
(?OBJ)
(
and
(
patient
?TRANS ?OBJ)
(
monetaryValue
?OBJ ?AMOUNT))))
Merge.kif 11857-11862
transactionAmount
金融取引
and
通貨測定
物理
物理
は
金融取引
の
patient
では %n
物理
の
value
は
通貨測定
では %n
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
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
物理
は
工程
の
patient
では %n
物理
の
value
は
通貨測定
では %n
金融取引
金融取引
は
工程
% の
subprocess
では %n
金融取引
は
Payment
の
instance
では %n
transactionAmount
金融取引
and
通貨測定
金融取引
は
AutonomousAgent
から
originate
s %n{ない}
金融取引
は
オブジェクト
に
end
s %n{ない}
(=>
(
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
(
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
認識エージェント
lender
Loan
and
認識エージェント
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
金融取引
金融取引
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
認識エージェント
に
end
s %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
?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
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
Auctioning
の
instance
では %n
記号文字列
エンティティー
_PURCHASE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_PURCHASE_AMOUNT
AuctionGMBFn
コレクション
は
エンティティー
_PURCHASE_AMOUNT と
equal
では %n
(=>
(
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
は
CreditAccount
の
instance
では %n
accountAt
FinancialAccount
and
FinancialOrganization
accountHolder
FinancialAccount
and
認識エージェント
interestEarned
FinancialAccount
,
Interest
and
時間間隔
金融取引
金融取引
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
金融取引
and
Interest
金融取引
は
FinancialOrganization
に
end
s %n{ない}
(=>
(
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
は
CreditAccount
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
principalAmount
FinancialAccount
and
実数
agreementPeriod
FinancialAccount
and
時間間隔
interestEarned
FinancialAccount
,
Interest
and
時間間隔
実数
は (
実数
+
Interest
) と
equal
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%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
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
は
Loan
の
instance
では %n
borrower
Loan
and
認識エージェント
principalAmount
Loan
and
実数
agreementPeriod
Loan
and
時間間隔
interestEarned
Loan
,
Interest
and
時間間隔
実数
は (
実数
+
Interest
) と
equal
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%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
?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
は
ZeroCouponBond
の
instance
では %n
maturityDate
AccountFn
FinancialAsset
and
日
FinancialAsset
Holder は
FinancialAsset
を
possess
es %n{ない}
principalAmount
AccountFn
FinancialAsset
and
実数
の
測定単位
(s)
agreementPeriod
AccountFn
FinancialAsset
and
時間間隔
interestEarned
AccountFn
FinancialAsset
,
実数
の
測定単位
(s) and
時間間隔
実数
は (
実数
+
実数
) と
equal
では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
FinancialAsset
Holder に
end
s %n{ない}
金融取引
は
AccountFn
FinancialAsset
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(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
工程
は
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
?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
は
CallableLoan
の
instance
では %n
lender
Loan
and
認識エージェント
borrower
Loan
and
認識エージェント
totalBalance
Loan
and
通貨測定
工程
は
Call
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
Loan
は
工程
の
patient
では %n
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
は
ProfitSharingPlan
の
instance
では %n
accountHolder
FinancialAccount
and
認識エージェント
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
profit
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
実数
実数
AY
実数
AY は
金融取引
の
instance
では %n
transactionAmount
実数
AY and
実数
の
測定単位
(s)
実数
は
実数
より
less
では %n
実数
AY は
FinancialAccount
に
end
s %n{ない}
(=>
(
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
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
購買
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_PURCHASE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_PURCHASE_AMOUNT
GMBFn
コレクション
は
エンティティー
_PURCHASE_AMOUNT と
equal
では %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
?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
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
販売
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_SALE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_SALE_AMOUNT
GMVFn
コレクション
は
エンティティー
_SALE_AMOUNT と
equal
では %n
(=>
(
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
Check
の
value
は
通貨測定
では %n
checkAccount
Check
and
FinancialAccount
工程
は
ProcessingACheck
の
instance
では %n
Check
は
工程
の
patient
では %n
工程
の
time
の existence は
工程
Time と
equal
では %n
金融取引
金融取引
Time
金融取引
は
Withdrawal
の
instance
では %n
Check
は
金融取引
の
instrument
では %n
金融取引
の
time
の existence は
金融取引
Time と
equal
では %n
工程
Time は
金融取引
Time に
meet
s %n{ない}
transactionAmount
金融取引
and
通貨測定
金融取引
は
FinancialAccount
から
originate
s %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
(
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
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
agreementClause
エンティティー
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
,
Obligation
,
Agreement
and
認識エージェント
(=>
(
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
物理
,
通貨測定
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
partyToAgreement
認識エージェント
and
Agreement
ステートメント
エンティティー
エンティティー
エンティティー
は
販売
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
immediate
の インスタンス では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
に
end
s %n{ない}
transactionAmount
エンティティー
and
通貨測定
には
Promise
の
modal
force
が ある
(=>
(
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
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
ステートメント
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある
(=>
(
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
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validityPeriod
PricingScheme
and
時間間隔
ステートメント
エンティティー
は
販売
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある は
時間間隔
の
during
holds %n{ない}
(=>
(
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
エンティティー
,
実数
の
測定単位
(s) and
認識エージェント
測定単位
は
UnitOfCurrency
の
instance
では %n
publishedPrice
エンティティー
,
実数
の
測定単位
(s),
認識エージェント
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
エンティティー
の
instance
では %n
工程
は
購買
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
immediate
の インスタンス では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
実数
は
実数
より
less
では %n
ステートメント
transactionAmount
工程
and
実数
には
Likely
の
modal
force
が ある
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