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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - optionHolder
optionHolder

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


s__documentation(s__optionHolder__m,s__EnglishLanguage,'"(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option."')

FinancialOntology.kif 2550-2551
s__domain(s__optionHolder__m,n__1,s__Agreement)

FinancialOntology.kif 2548-2548 The number 1 argument of option holder is an instance of agreement
s__domain(s__optionHolder__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 2549-2549 The number 2 argument of option holder is an instance of cognitive agent
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__optionHolder__m,s__BinaryPredicate)

FinancialOntology.kif 2546-2546 option holder is an instance of binary predicate
s__subrelation(s__optionHolder__m,s__partyToAgreement__m)

FinancialOntology.kif 2545-2545 option holder is a subrelation of party to agreement

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


s__format(s__ChineseLanguage,s__optionHolder__m,'"%2 holds %1 "')

domainEnglishFormat.kif 4035-4035
s__format(s__ChineseTraditionalLanguage,s__optionHolder__m,'"%2 holds %1 "')

domainEnglishFormat.kif 4034-4034
s__format(s__EnglishLanguage,s__optionHolder__m,'"%2 holds %1"')

domainEnglishFormat.kif 4033-4033
s__termFormat(s__ChineseLanguage,s__optionHolder__m,'"期权持有人"')

domainEnglishFormat.kif 42337-42337
s__termFormat(s__ChineseTraditionalLanguage,s__optionHolder__m,'"期權持有人"')

domainEnglishFormat.kif 42336-42336
s__termFormat(s__EnglishLanguage,s__optionHolder__m,'"option holder"')

domainEnglishFormat.kif 42335-42335

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


( ! [V__Agent,V__Option,V__Premium] :
   (((s__instance(V__Agent,s__CognitiveAgent) &
         s__instance(V__Option,s__Agreement) &
         s__instance(V__Option,s__Investment) &
         s__instance(V__Premium,s__CurrencyMeasure))
       =>
       (((s__premium(V__Option,V__Premium)
           &
           s__optionHolder(V__Option,V__Agent))
       =>
       (s__potentialLoss(V__Agent,V__Option,V__Premium)))))
)
)

FinancialOntology.kif 2691-2695
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2749-2761
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2631-2647
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2585-2601
( ! [V__AGENT,V__OPTION] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__OPTION,s__Agreement))
       =>
       ((s__optionHolder(V__OPTION,V__AGENT)
         =>
         (s__property(V__OPTION,s__Option)))))
   )
)

FinancialOntology.kif 2553-2555


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