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

Formal Language: 



KB Term:  Term intersection
English Word: 

  callDate

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 2486-2487
(domain callDate 1 Bond) FinancialOntology.kif 2484-2484 通话日期 的 1 数量 是 instance
(domain callDate 2 Day) FinancialOntology.kif 2485-2485 通话日期 的 2 数量 是 instance
(instance callDate BinaryPredicate) FinancialOntology.kif 2483-2483 通话日期二元谓语instance

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 12769-12769
(termFormat ChineseTraditionalLanguage callDate "通話日期") domainEnglishFormat.kif 12768-12768
(termFormat EnglishLanguage callDate "call date") domainEnglishFormat.kif 12767-12767

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


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


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 is open source software produced by Articulate Software and its partners