ShareUnit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ShareUnit EnglishLanguage "The UnitOfMeasure representing one share in a corporation. Note that the number of shares in a corporation can change over time, as does their value. The percentage ownership that a share entails is time dependent, as well as being dependent on the rules of the legal jurisdiction that is relevant, and rules set in place by the corporation.")	FinancialOntology.kif 2125-2128
(subclass ShareUnit CurrencyMeasure)	FinancialOntology.kif 2124-2124	ShareUnit は通貨測定の subclass では

appearance as argument number 2

(termFormat EnglishLanguage ShareUnit "share unit")

domainEnglishFormat.kif 65475-65475

antecedent

(=>
    (and
        (possesses ?Agent ?Stocks)
        (measure ?Stocks
            (MeasureFn ?Number ShareUnit))
        (splitFor ?Event ?N1 ?N2))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Event))
        (and
            (equal ?N3
                (MultiplicationFn ?Number ?N2))
            (equal ?NewNumber
                (DivisionFn ?N3 ?N1))
            (measure ?Stocks
                (MeasureFn ?NewNumber ShareUnit)))))

FinancialOntology.kif 2246-2256

AutonomousAgent はオブジェクトを possesses オブジェクトの measure は実数の ShareUnit(s) では splitFor StockSplit, 整数 and 整数
equal エンティティー and 実数 + 整数 equal エンティティー and エンティティー + 整数オブジェクトの measure はエンティティーの ShareUnit(s) ではは StockSplit の time の existence のすぐ after の during holds

consequent

(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2771-2783	工程は ExerciseAnOption の instance では Agreement は工程の patient では Agreement には attribute CallOption 工程は時間位置の during exists underlier Agreement and FinancialInstrument 工程工程は購買の instance では FinancialInstrument は工程の patient では工程は時間位置の during exists FinancialInstrument の measure は 100 の ShareUnit(s) では
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2785-2797	工程は ExerciseAnOption の instance では Agreement は工程の patient では Agreement には attribute PutOption 工程は時間位置の during exists underlier Agreement and FinancialInstrument 工程工程は販売の instance では FinancialInstrument は工程の patient では工程は時間位置の during exists FinancialInstrument の measure は 100 の ShareUnit(s) では
(=> (and (possesses ?Agent ?Stocks) (measure ?Stocks (MeasureFn ?Number ShareUnit)) (splitFor ?Event ?N1 ?N2)) (holdsDuring (ImmediateFutureFn (WhenFn ?Event)) (and (equal ?N3 (MultiplicationFn ?Number ?N2)) (equal ?NewNumber (DivisionFn ?N3 ?N1)) (measure ?Stocks (MeasureFn ?NewNumber ShareUnit)))))	FinancialOntology.kif 2246-2256	AutonomousAgent はオブジェクトを possesses オブジェクトの measure は実数の ShareUnit(s) では splitFor StockSplit, 整数 and 整数 equal エンティティー and 実数 + 整数 equal エンティティー and エンティティー + 整数オブジェクトの measure はエンティティーの ShareUnit(s) ではは StockSplit の time の existence のすぐ after の during holds
(=> (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	Agreement には attribute Option optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では AutonomousAgent の end は時間間隔の beginning の before に happens underlier Agreement and FinancialInstrument 認識エージェントはエンティティー class を実行する right を　持って
(=> (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	Agreement には attribute Option optionHolder Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では AutonomousAgent の end は時間間隔の beginning の before に happens 認識エージェントはエンティティー class を実行する right を　持って
(=> (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	Agreement には attribute Option optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では AutonomousAgent の end は時間間隔の beginning の before に happens underlier Agreement and FinancialInstrument 認識エージェントはタイプエンティティー class のタスクを実行する obliged
(=> (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	Agreement には attribute Option optionSeller Agreement and 認識エージェント strikePrice Agreement and 通貨測定 agreementExpirationDate Agreement and 時間間隔 underlier Agreement and FinancialInstrument price FinancialInstrument, 通貨測定 and AutonomousAgent AutonomousAgent は時間間隔の instance では AutonomousAgent の end は時間間隔の beginning の before に happens 認識エージェントはタイプエンティティー class のタスクを実行する obliged
(=> (property ?Option Option) (exists (?Type ?Date ?Stock ?Price) (and (or (equal ?Type CallOption) (equal ?Type PutOption)) (property ?Option ?Type) (agreementExpirationDate ?Option ?Date) (strikePrice ?Option ?Price) (underlier ?Option ?Stock) (measure ?Stock (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2557-2568	Agreement には attribute Option 属性時点, FinancialInstrument and 通貨測定 equal 属性 and CallOption equal 属性 and PutOption Agreement には attribute 属性 agreementExpirationDate Agreement and 時点 strikePrice Agreement and 通貨測定 underlier Agreement and FinancialInstrument FinancialInstrument の measure は 100 の ShareUnit(s) では

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

KB Term:			Term intersection

English Word: