Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Loam

 Sigma KEE - Prepayment
Prepayment(prepayment)prepayment

appearance as argument number 1
-------------------------


(subclass Prepayment Payment) FinancialOntology.kif 852-852 Prepayment is a subclass of payment
(documentation Prepayment EnglishLanguage "Prepayment is the payment of all or part of a debt prior to its due date.") FinancialOntology.kif 853-854 Prepayment is a subclass of payment

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


(termFormat EnglishLanguage Prepayment "prepayment") domainEnglishFormat.kif 47209-47209
(termFormat ChineseTraditionalLanguage Prepayment "預付款") domainEnglishFormat.kif 47210-47210
(termFormat ChineseLanguage Prepayment "预付款") domainEnglishFormat.kif 47211-47211

consequent
-------------------------


(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?Amount ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))		 FinancialOntology.kif 856-864 If All of the following hold: (1) X is a transaction amount of Y (2) date of Y is Z (3) W is an instance of financial account (4) Y ends up at the currency of W (5) W amount due X for V (6) the end of Z happens before the beginning of V, then Y is an instance of prepayment


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners