Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Payment
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Payment FinancialTransaction) | FinancialOntology.kif 405-405 | Payment is a subclass of financial transaction |
| (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 406-408 | Payment is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | The number 2 argument of valid payment type is a subclass of payment |
| 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 410-426 | If All of the following hold: (1) X is an instance of payment (2) X originates at the currency of Y (3) Y is an instance of financial account (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after the time of existence of X for U W(s) |
| consequent |
|
|
| (=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I ?C (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))))) |
FinancialOntology.kif 432-445 | If X is an instance of health insurance company and Y is a customer of X, then X has the purpose Y for there exist Z, W such that Z is an instance of diagnostic process or Z is an instance of therapeutic process, Y experiences Z, W is an instance of payment, X is an agent of W, and W includes a reference to Z |
| (=> (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 508-520 | If X is an agent of Y, Y originates at Z, W is a patient of Y, and value of W is V, then there exists U such that U is a subprocess of Y, U is an instance of payment, V is a transaction amount of U, U originates at X, and U ends up at Z |
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation ?Agent (exists (?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)))))) |
FinancialOntology.kif 676-689 | If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z |
| (=> (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 764-772 | If X is periodic payment Y for Z, then there exist W, V such that W is an instance of payment, W originates at the currency of X, Y is a transaction amount of W, W is an instance of V, and V occurs every Z |
| (=> (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 2374-2396 | If All of the following hold: (1) X is an instance of zero coupon bond (2) Y is a maturity date of the account of X (3) Z possesses X (4) W V(s) is a principal amount of the account of X (5) U is an agreement period of the account of X (6) the account of X is interest earned T V(s) for U (7) equal S and (W and T), then there exists R such that R is an instance of payment and R ends up at Z and R originates at the account of X and S V(s) is a transaction amount of R |
| (=> (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 1884-1901 | If X is an instance of repayment, ?REPAYMENT_DESTINATION is an instance of object, X ends up at ?REPAYMENT_DESTINATION, ?REPAYMENT_ORIGIN is an instance of object, and X originates at ?REPAYMENT_ORIGIN, then All of the following hold: (1) there exist Y, ?PAYMENT_ORIGIN (2) ?PAYMENT_DESTINATION such that Y is an instance of payment (3) ?PAYMENT_ORIGIN is an instance of object (4) ?PAYMENT_DESTINATION is an instance of object (5) equal Y (6) X (7) Y ends up at ?PAYMENT_DESTINATION (8) Y originates at ?PAYMENT_ORIGIN (9) equal ?PAYMENT_ORIGIN (10) ?REPAYMENT_DESTINATION (11) equal ?PAYMENT_DESTINATION (12) ?REPAYMENT_ORIGIN |
| (=> (and (instance ?T BusinessTrip) (agent ?T ?EMPLOYEE)) (exists (?SERVICE ?PAYMENT) (and (instance ?SERVICE CommercialService) (instance ?PAYMENT Payment) (subProcess ?PAYMENT ?SERVICE) (agent ?PAYMENT ?EMPLOYEE)))) |
TravelPolicies.kif 419-428 | If X is an instance of BusinessTrip and Y is an agent of X, then there exist Z, W such that Z is an instance of commercial service, W is an instance of payment, W is a subprocess of Z, and Y is an agent of W |
| (=> (instance ?BT BusinessTrip) (exists (?R) (and (instance ?R Payment) (agent ?BT ?EMPLOYEE) (agent ?R ?ORG) (destination ?R ?EMPLOYEE)))) |
TravelPolicies.kif 642-649 | If X is an instance of BusinessTrip, then there exists Y such that Y is an instance of payment, Z is an agent of X, W is an agent of Y, and Y ends up at Z |
|