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
(=>
    (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


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