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
-------------------------


s__documentation(s__callDate__m,s__EnglishLanguage,'"Date, prior to maturity, on which a callable bond may be redeemed."')

FinancialOntology.kif 2427-2428
s__domain(s__callDate__m,n__1,s__Bond)

FinancialOntology.kif 2425-2425 The number 1 argument of call date is an instance of bond
s__domain(s__callDate__m,n__2,s__Day)

FinancialOntology.kif 2426-2426 The number 2 argument of call date is an instance of day
s__instance(s__callDate__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 2424-2424 call date is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__callDate__m,'"%2 %n 是 %1 的 call 日期"')

domainEnglishFormat.kif 340-340
s__format(s__ChineseTraditionalLanguage,s__callDate__m,'"%2 %n 是 %1 的 call 日期"')

domainEnglishFormat.kif 339-339
s__format(s__EnglishLanguage,s__callDate__m,'"%2 is %n a call date of %1"')

domainEnglishFormat.kif 338-338
s__termFormat(s__ChineseLanguage,s__callDate__m,'"通话日期"')

domainEnglishFormat.kif 12772-12772
s__termFormat(s__ChineseTraditionalLanguage,s__callDate__m,'"通話日期"')

domainEnglishFormat.kif 12771-12771
s__termFormat(s__EnglishLanguage,s__callDate__m,'"call date"')

domainEnglishFormat.kif 12770-12770

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


( ! [V__Amount,V__Date,V__Bond] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day))
       =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__currentAccountBalance(s__AccountFn(V__Bond)
          ,V__Date,V__Amount)
         &
         s__callDate(V__Bond,V__Date))
     =>
     (s__amountDue(s__AccountFn(V__Bond)
    ,V__Amount,V__Date)))))
)
)

FinancialOntology.kif 2430-2435


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