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


KB Term:  Term intersection
English Word: 

  CallableLoan

 Sigma KEE - CallableLoan
CallableLoan(callable loan)

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


(subclass CallableLoan Loan) FinancialOntology.kif 1466-1466 Callable loan is a subclass of loan
(documentation CallableLoan EnglishLanguage "A loan that must repaid upon the lender's demand.") FinancialOntology.kif 1467-1467 Callable loan is a subclass of loan

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


(termFormat EnglishLanguage CallableLoan "callable loan") domainEnglishFormat.kif 12763-12763
(termFormat ChineseTraditionalLanguage CallableLoan "可贖回貸款") domainEnglishFormat.kif 12764-12764
(termFormat ChineseLanguage CallableLoan "可赎回贷款") domainEnglishFormat.kif 12765-12765

antecedent
-------------------------


(=>
    (and
        (instance ?Loan CallableLoan)
        (lender ?Loan ?Lender)
        (borrower ?Loan ?Borrower)
        (totalBalance ?Loan ?Amount)
        (instance ?Call Call)
        (agent ?Call ?Lender)
        (patient ?Call ?Loan))
    (holdsObligation ?Borrower
        (exists (?Payment)
            (and
                (destination ?Payment ?Lender)
                (time ?Payment
                    (ImmediateFutureFn
                        (WhenFn ?Call)))
                (transactionAmount ?Payment ?Amount)))))		 FinancialOntology.kif 1469-1485 If All of the following hold: (1) X is an instance of callable loan (2) Y lends X (3) X is the borrower of Z (4) W is a total balance of X (5) V is an instance of call (6) Y is an agent of V (7) X is a patient of V, then Z is obliged to perform tasks of type there exists U such that U ends up at Y, U exists during immediately after the time of existence of V, and W is a transaction amount of U


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