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


KB Term:  Term intersection
English Word: 

  Call

 Sigma KEE - Call
Call(call)

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


(documentation Call EnglishLanguage "Exercising a CallOption.") FinancialOntology.kif 1464-1464
(subclass Call FinancialTransaction) FinancialOntology.kif 1465-1465 Call is a subclass of financial transaction

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


(termFormat EnglishLanguage Call "call") domainEnglishFormat.kif 12751-12751
(termFormat ChineseTraditionalLanguage Call "呼叫") domainEnglishFormat.kif 12752-12752
(termFormat ChineseLanguage Call "呼叫") domainEnglishFormat.kif 12753-12753

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

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


(=>
    (and
        (instance ?Bond CallableBond)
        (issuedBy ?Bond ?Agent))
    (capability Call agent ?Agent))		 FinancialOntology.kif 2518-2522 If X is an instance of callable bond and Y is an issued by of X, then Y is capable of doing call as a agent


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