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 The number 1 argument of call date is an instance of bond
(domain callDate 2 Day) FinancialOntology.kif 2408-2408 The number 2 argument of call date is an instance of day
(instance callDate BinaryPredicate) FinancialOntology.kif 2406-2406 call date is an instance of binary predicate

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 "call date" is the printable form of call date in english language

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