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

Formal Language: 



KB Term:  Term intersection
English Word: 

  premium

Sigma KEE - premium
premium

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


(documentation premium EnglishLanguage "Total price of an option.") FinancialOntology.kif 2731-2731
(domain premium 1 Agreement) FinancialOntology.kif 2729-2729
(domain premium 2 CurrencyMeasure) FinancialOntology.kif 2730-2730
(instance premium BinaryPredicate) FinancialOntology.kif 2727-2727

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


(format ChineseLanguage premium "%2 %n 是 %1 的 premium ") domainEnglishFormat.kif 2035-2035
(format ChineseTraditionalLanguage premium "%2 %n 是 %1 的 premium ") domainEnglishFormat.kif 2034-2034
(format EnglishLanguage premium "%2 is %n a premium of %1") domainEnglishFormat.kif 2033-2033
(termFormat ChineseLanguage premium "额外费用") domainEnglishFormat.kif 47187-47187
(termFormat ChineseTraditionalLanguage premium "額外費用") domainEnglishFormat.kif 47186-47186
(termFormat EnglishLanguage premium "premium") domainEnglishFormat.kif 47185-47185

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


(=>
    (and
        (premium ?Option ?Premium)
        (optionHolder ?Option ?Agent))
    (potentialLoss ?Agent ?Option ?Premium))
FinancialOntology.kif 2737-2741
(=>
    (premium ?OPTION ?AMT)
    (property ?OPTION Option))
FinancialOntology.kif 2733-2735


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