Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - callDate
callDate

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


(documentation callDate EnglishLanguage "Date, prior to maturity, on which a callable bond may be redeemed.") FinancialOntology.kif 2409-2410
(domain callDate 1 Bond) FinancialOntology.kif 2407-2407
(domain callDate 2 Day) FinancialOntology.kif 2408-2408
(instance callDate BinaryPredicate) FinancialOntology.kif 2406-2406

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


(format EnglishLanguage callDate "%2 is %n a call date of %1") domainEnglishFormat.kif 94-94
(termFormat EnglishLanguage callDate "call date") domainEnglishFormat.kif 2552-2552

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


(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2412-2417


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners