TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Payment EnglishLanguage "The partial or complete discharge of an obligation by its settlement in the form of the transfer of funds, assets, or services equal to the monetary value of part or all of the debtor's obligation.")	FinancialOntology.kif 404-406
(subclass Payment FinancialTransaction)	FinancialOntology.kif 403-403	Payment は金融取引の subclass では %n

appearance as argument number 2

(subclass BankCardPayment Payment)	Dining.kif 429-429	BankCardPayment は Payment の subclass では %n
(subclass CashPayment Payment)	Dining.kif 451-451	CashPayment は Payment の subclass では %n
(subclass Dividend Payment)	FinancialOntology.kif 2074-2074	Dividend は Payment の subclass では %n
(subclass Prepayment Payment)	FinancialOntology.kif 830-830	Prepayment は Payment の subclass では %n
(subclass Repayment Payment)	UXExperimentalTerms.kif 1864-1864	Repayment は Payment の subclass では %n
(termFormat ChineseLanguage Payment "付款")	domainEnglishFormat.kif 44876-44876
(termFormat ChineseTraditionalLanguage Payment "付款")	domainEnglishFormat.kif 44875-44875
(termFormat EnglishLanguage Payment "payment")	domainEnglishFormat.kif 44874-44874

appearance as argument number 3

(domainSubclass validPaymentType 2 Payment)

Catalog.kif 249-249

validPaymentType の数値 2 引数は Payment のsubclass では %n

antecedent

(=>
    (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 から originates %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)

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 工程はオブジェクトから originates %n{ない} 物理は工程の patient では %n 物理の value は通貨測定では %n 金融取引金融取引は工程% の subprocess では %n 金融取引は Payment の instance では %n transactionAmount 金融取引 and 通貨測定金融取引は AutonomousAgent から originates %n{ない} 金融取引はオブジェクトに ends %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 (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 日 FinancialAssetHolder は FinancialAsset を possesses %n{ない} principalAmount AccountFn FinancialAsset and 実数の測定単位(s) agreementPeriod AccountFn FinancialAsset and 時間間隔 interestEarned AccountFn FinancialAsset, 実数の測定単位(s) and 時間間隔実数は ( 実数 + 実数) と equal では %n 金融取引金融取引は Payment の instance では %n 金融取引は FinancialAssetHolder に ends %n{ない} 金融取引は AccountFn FinancialAsset から originates %n{ない} transactionAmount 金融取引 and 実数の測定単位(s)
(=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C))	Mid-level-ontology.kif 7186-7199	認識エージェントは HealthInsuranceCompany の instance では %n customer 認識エージェント and AutonomousAgent 認識エージェントは AutonomousAgent の目的エンティティーエンティティーエンティティーは診断プロセスの instance では %n エンティティーは治療経過の instance では %n AutonomousAgent がエンティティーを experiences %n{ない} エンティティーは Payment の instance では %n 認識エージェントはエンティティーの agent では %n エンティティーはエンティティーへの reference を includes %n{ない} %n{ない}
(=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))	UXExperimentalTerms.kif 1883-1900	工程は Repayment の instance では %n 工程_DESTINATION はオブジェクトの instance では %n 工程は工程_DESTINATION に ends %n{ない} 工程_ORIGIN はオブジェクトの instance では %n 工程は工程_ORIGIN から originates %n{ない} 工程工程_ORIGIN and 工程_DESTINATION 工程は Payment の instance では %n 工程_ORIGIN はオブジェクトの instance では %n 工程_DESTINATION はオブジェクトの instance では %n 工程は工程と equal では工程は工程_DESTINATION に ends %n{ない} 工程は工程_ORIGIN から originates %n{ない} 工程_ORIGIN は工程_DESTINATION と equal では %n 工程_DESTINATION は工程_ORIGIN と equal では %n
(=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE))))))	Catalog.kif 467-492	rentalPrice 物理, 関数量, 認識エージェント and PricingScheme 関数量は PerFn 通貨測定 and 実数の measure は測定単位では %n と equal では %n 測定単位は UnitOfDuration の instance では %n エンティティーは物理の immediate のインスタンスでは %n 工程は Renting の instance では %n エンティティーは工程の patient では %n AutonomousAgent は工程の agent では %n 工程は実数INT の during exists %n{ない} 時間間隔実数実数INT は時間間隔の during に takes %n{ない} 時間間隔は時間間隔の instance では %n 時間間隔の duration は実数の測定単位(s) では %n 実数は実数より less または同等では %n 金融取引金融取引は Payment の instance では %n 金融取引は認識エージェントに ends %n{ない} AutonomousAgent は金融取引の agent では %n transactionAmount 金融取引 and 通貨測定
(=> (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 から originates %n{ない} transactionAmount 金融取引 and 通貨測定金融取引は工程の instance では %n 工程は時間分ごとに occurs %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

KB Term:			Term intersection

English Word: