Repayment - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Repayment

Repayment(repayment)

appearance as argument number 1

(documentation Repayment EnglishLanguage "A Repayment is a subclass of Payment where the origin of a previous payment is the destination of the repayment, and vice versa. The transactionAmount is the same as that previous payment.")	UXExperimentalTerms.kif 1868-1870
(subclass Repayment Payment)	UXExperimentalTerms.kif 1864-1864	Repayment is a subclass of payment

appearance as argument number 2

(termFormat EnglishLanguage Repayment "repayment")

UXExperimentalTerms.kif 1866-1866

antecedent

(=> (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	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN
(=> (instance ?REPAYMENT Repayment) (exists (?PAYMENT ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT) (and (instance ?PAYMENT ?PAYMENT) (not (equal ?PAYMENT ?REPAYMENT)) (transactionAmount ?PAYMENT ?PAYMENT_AMOUNT) (transactionAmount ?REPAYMENT ?REPAYMENT_AMOUNT) (equal ?PAYMENT_AMOUNT ?REPAYMENT_AMOUNT))))	UXExperimentalTerms.kif 1872-1881	If a financial transaction is an instance of repayment, then there exist a class, the class_AMOUNT and the financial transaction_AMOUNT such that the class is an instance of the class and the class is not equal to the financial transaction and the class_AMOUNT is a transaction amount of the class and the financial transaction_AMOUNT is a transaction amount of the financial transaction and the class_AMOUNT is equal to the financial transaction_AMOUNT

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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