Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  optionHolder

 Sigma KEE - optionHolder
optionHolder

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


(subrelation optionHolder partyToAgreement) FinancialOntology.kif 2617-2617 option holder is a subrelation of party to agreement
(instance optionHolder BinaryPredicate) FinancialOntology.kif 2618-2618 option holder is an instance of binary predicate
(domain optionHolder 1 Agreement) FinancialOntology.kif 2619-2619 The number 1 argument of option holder is an instance of agreement
(domain optionHolder 2 CognitiveAgent) FinancialOntology.kif 2620-2620 The number 2 argument of option holder is an instance of cognitive agent
(documentation optionHolder EnglishLanguage "(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option.") FinancialOntology.kif 2621-2622 The number 2 argument of option holder is an instance of cognitive agent

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


(format EnglishLanguage optionHolder "%2 holds %1") domainEnglishFormat.kif 4032-4032
(format ChineseTraditionalLanguage optionHolder "%2 holds %1 ") domainEnglishFormat.kif 4033-4033
(format ChineseLanguage optionHolder "%2 holds %1 ") domainEnglishFormat.kif 4034-4034
(termFormat EnglishLanguage optionHolder "option holder") domainEnglishFormat.kif 42359-42359
(termFormat ChineseTraditionalLanguage optionHolder "期權持有人") domainEnglishFormat.kif 42360-42360
(termFormat ChineseLanguage optionHolder "期权持有人") domainEnglishFormat.kif 42361-42361

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


(=>
    (optionHolder ?OPTION ?AGENT)
    (property ?OPTION Option))		 FinancialOntology.kif 2624-2626 If X holds Y, then Y the attribute option
(=>
    (and
        (instance ?Option CallOption)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsRight ?Agent
        (exists (?Buy)
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent)))))		 FinancialOntology.kif 2652-2670 If All of the following hold: (1) X is an instance of call option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is an underlier of X (6) V is price Z for U (7) U is an instance of timeframe (8) the end of U happens before the beginning of W, then Y has the right to perform %3
(=>
    (and
        (instance ?Option PutOption)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight ?Agent
        (exists (?Sell)
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent)))))		 FinancialOntology.kif 2697-2714 If All of the following hold: (1) X is an instance of put option (2) Y holds X (3) Z is a strike price of X (4) X has expiration W (5) V is price Z for U (6) U is an instance of timeframe (7) the end of U happens before the beginning of W (8) V is an underlier of X, then Y has the right to perform %3
(=>
    (and
        (instance ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight ?Agent
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day))))))		 FinancialOntology.kif 2811-2823 If X is an instance of american style option, Y holds X, and X has expiration Z, then Y has the right to perform %3


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners