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 2524-2525
(domain optionSeller 1 Agreement)	FinancialOntology.kif 2522-2522	The number 1 argument of option seller is an instance of agreement
(domain optionSeller 2 CognitiveAgent)	FinancialOntology.kif 2523-2523	The number 2 argument of option seller is an instance of cognitive agent
(instance optionSeller BinaryPredicate)	FinancialOntology.kif 2520-2520	option seller is an instance of binary predicate
(subrelation optionSeller partyToAgreement)	FinancialOntology.kif 2519-2519	option seller is a subrelation of party to agreement

appearance as argument number 2

(format EnglishLanguage optionSeller "%2 sells %1")	domainEnglishFormat.kif 1018-1018
(termFormat EnglishLanguage optionSeller "option seller")	domainEnglishFormat.kif 7479-7479	"option seller" is the printable form of option seller in english language

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 2608-2624	If an agreement has an 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 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 2564-2580	If an agreement has an 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 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 2527-2529	If a cognitive agent sells an agreement, then the agreement has an 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners