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
-------------------------


(documentation optionHolder EnglishLanguage "(optionHolder ?Option ?Agent) means that ?Agent is the holder of the option.") FinancialOntology.kif 2605-2606
(domain optionHolder 1 Agreement) FinancialOntology.kif 2603-2603 optionHolder の数値 1 引数は Agreement の instance では
(domain optionHolder 2 CognitiveAgent) FinancialOntology.kif 2604-2604 optionHolder の数値 2 引数は 認識エージェント の instance では
(instance optionHolder BinaryPredicate) FinancialOntology.kif 2601-2601 optionHolder は 2進述語 の instance では
(subrelation optionHolder partyToAgreement) FinancialOntology.kif 2600-2600 optionHolder は partyToAgreement の subrelation では

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


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

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


(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))		 FinancialOntology.kif 2805-2817
(=>
    (and
        (property ?Option Option)
        (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
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))		 FinancialOntology.kif 2686-2702
(=>
    (and
        (property ?Option Option)
        (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
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2640-2656
(=>
    (optionHolder ?OPTION ?AGENT)
    (property ?OPTION Option))		 FinancialOntology.kif 2608-2610


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