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

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


(format ChineseLanguage callDate "%2 %n 是 %1 的 call 日期") domainEnglishFormat.kif 340-340
(format ChineseTraditionalLanguage callDate "%2 %n 是 %1 的 call 日期") domainEnglishFormat.kif 339-339
(format EnglishLanguage callDate "%2 is %n a call date of %1") domainEnglishFormat.kif 338-338
(termFormat ChineseLanguage callDate "通话日期") domainEnglishFormat.kif 12709-12709
(termFormat ChineseTraditionalLanguage callDate "通話日期") domainEnglishFormat.kif 12708-12708
(termFormat EnglishLanguage callDate "call date") domainEnglishFormat.kif 12707-12707

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


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


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