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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - premium
premium

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


(documentation premium EnglishLanguage "Total price of an option.") FinancialOntology.kif 2645-2645
(domain premium 1 Agreement) FinancialOntology.kif 2643-2643 The number 1 argument of premium is an instance of agreement
(domain premium 2 CurrencyMeasure) FinancialOntology.kif 2644-2644 The number 2 argument of premium is an instance of currency measure
(instance premium BinaryPredicate) FinancialOntology.kif 2641-2641 premium is an instance of binary predicate

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 47102-47102
(termFormat ChineseTraditionalLanguage premium "額外費用") domainEnglishFormat.kif 47101-47101
(termFormat EnglishLanguage premium "premium") domainEnglishFormat.kif 47100-47100

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


(=>
    (and
        (premium ?Option ?Premium)
        (optionHolder ?Option ?Agent))
    (potentialLoss ?Agent ?Option ?Premium))
FinancialOntology.kif 2651-2655
(=>
    (premium ?OPTION ?AMT)
    (property ?OPTION Option))
FinancialOntology.kif 2647-2649


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