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 2601-2602
(domain optionSeller 1 Agreement)	FinancialOntology.kif 2599-2599	The number 1 argument of option seller is an instance of agreement
(domain optionSeller 2 CognitiveAgent)	FinancialOntology.kif 2600-2600	The number 2 argument of option seller is an instance of cognitive agent
(instance optionSeller BinaryPredicate)	FinancialOntology.kif 2597-2597	option seller is an instance of binary predicate
(subrelation optionSeller partyToAgreement)	FinancialOntology.kif 2596-2596	option seller is a subrelation of party to agreement

appearance as argument number 2

(format ChineseLanguage optionSeller "%2 sells %1 ")	domainEnglishFormat.kif 4034-4034
(format ChineseTraditionalLanguage optionSeller "%2 sells %1 ")	domainEnglishFormat.kif 4033-4033
(format EnglishLanguage optionSeller "%2 sells %1")	domainEnglishFormat.kif 4032-4032
(termFormat ChineseLanguage optionSeller "期权卖方")	domainEnglishFormat.kif 42399-42399
(termFormat ChineseTraditionalLanguage optionSeller "期權賣方")	domainEnglishFormat.kif 42398-42398
(termFormat EnglishLanguage optionSeller "option seller")	domainEnglishFormat.kif 42397-42397

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 2687-2703	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 2641-2659	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 2604-2606	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