optionSeller - Sigma Knowledge base Browser

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 2615-2616
(domain optionSeller 1 Agreement)	FinancialOntology.kif 2613-2613	The number 1 argument of option seller is an instance of agreement
(domain optionSeller 2 CognitiveAgent)	FinancialOntology.kif 2614-2614	The number 2 argument of option seller is an instance of cognitive agent
(instance optionSeller BinaryPredicate)	FinancialOntology.kif 2611-2611	option seller is an instance of binary predicate
(subrelation optionSeller partyToAgreement)	FinancialOntology.kif 2610-2610	option seller is a subrelation of party to agreement

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 42397-42397
(termFormat ChineseTraditionalLanguage optionSeller "期權賣方")	domainEnglishFormat.kif 42396-42396
(termFormat EnglishLanguage optionSeller "option seller")	domainEnglishFormat.kif 42395-42395

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 2701-2717	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (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 2655-2673	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (optionSeller ?OPTION ?AGENT) (property ?OPTION Option))	FinancialOntology.kif 2618-2620	If a cognitive agent sells an agreement, then the agreement the attribute option

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