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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - optionSeller
optionSeller

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


(documentation optionSeller EnglishLanguage "(optionSeller ?Option ?Agent) means that ?Agent is the writer of the option.") FinancialOntology.kif 2618-2619
(domain optionSeller 1 Agreement) FinancialOntology.kif 2616-2616 optionSeller の数値 1 引数は Agreement の instance では
(domain optionSeller 2 CognitiveAgent) FinancialOntology.kif 2617-2617 optionSeller の数値 2 引数は 認識エージェント の instance では
(instance optionSeller BinaryPredicate) FinancialOntology.kif 2614-2614 optionSeller は 2進述語 の instance では
(subrelation optionSeller partyToAgreement) FinancialOntology.kif 2613-2613 optionSeller は partyToAgreement の subrelation では

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


(format ChineseLanguage optionSeller "%2 sells %1 ") domainEnglishFormat.kif 4038-4038
(format ChineseTraditionalLanguage optionSeller "%2 sells %1 ") domainEnglishFormat.kif 4037-4037
(format EnglishLanguage optionSeller "%2 sells %1") domainEnglishFormat.kif 4036-4036
(termFormat ChineseLanguage optionSeller "期权卖方") domainEnglishFormat.kif 42374-42374
(termFormat ChineseTraditionalLanguage optionSeller "期權賣方") domainEnglishFormat.kif 42373-42373
(termFormat EnglishLanguage optionSeller "option seller") domainEnglishFormat.kif 42372-42372

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


(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsObligation
        (KappaFn ?Buy
            (and
                (instance ?Buy Buying)
                (patient ?Buy ?Stocks)
                (time ?Buy ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Buy ?Agent))) ?Agent))		 FinancialOntology.kif 2704-2720
(=>
    (and
        (property ?Option Option)
        (optionSeller ?Option ?Seller)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (underlier ?Option ?Stocks)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate)))
    (holdsObligation
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Seller))		 FinancialOntology.kif 2658-2676
(=>
    (optionSeller ?OPTION ?AGENT)
    (property ?OPTION Option))		 FinancialOntology.kif 2621-2623


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