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 2072-2074
(subclass Repayment Payment) UXExperimentalTerms.kif 2068-2068 Repayment is a subclass of payment

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Repayment "repayment") UXExperimentalTerms.kif 2070-2070

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 2087-2104
(=>
    (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 2076-2085


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