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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - potentialLoss
potentialLoss

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


(documentation potentialLoss EnglishLanguage "The maximum amount of money the Agent can lose by choosing this type of Investment.") FinancialOntology.kif 1893-1894
(domain potentialLoss 1 CognitiveAgent) FinancialOntology.kif 1890-1890 The number 1 argument of potential loss is an instance of cognitive agent
(domain potentialLoss 2 Investment) FinancialOntology.kif 1891-1891 The number 2 argument of potential loss is an instance of investment
(domain potentialLoss 3 CurrencyMeasure) FinancialOntology.kif 1892-1892 The number 3 argument of potential loss is an instance of currency measure
(instance potentialLoss TernaryPredicate) FinancialOntology.kif 1889-1889 potential loss is an instance of ternary predicate

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


(format ChineseLanguage potentialLoss "%1 %n 是 對於 %3 的 potential 損失 %2 ") domainEnglishFormat.kif 2007-2007
(format ChineseTraditionalLanguage potentialLoss "%1 %n 是 對於 %3 的 potential 損失 %2 ") domainEnglishFormat.kif 2006-2006
(format EnglishLanguage potentialLoss "%1 is %n potential loss %2 for %3") domainEnglishFormat.kif 2005-2005
(termFormat ChineseLanguage potentialLoss "潜在的损失") domainEnglishFormat.kif 46875-46875
(termFormat ChineseTraditionalLanguage potentialLoss "潛在的損失") domainEnglishFormat.kif 46874-46874
(termFormat EnglishLanguage potentialLoss "potential loss") domainEnglishFormat.kif 46873-46873

consequent
-------------------------


(=>
    (and
        (premium ?Option ?Premium)
        (optionHolder ?Option ?Agent))
    (potentialLoss ?Agent ?Option ?Premium))
FinancialOntology.kif 2737-2741


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