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

Formal Language: 



KB Term:  Term intersection
English Word: 

  price

Sigma KEE - price
price

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


(documentation price EnglishLanguage "(price ?Obj ?Money ?Agent) means that ?Agent pays the amount of money ?Money for ?Obj.") Mid-level-ontology.kif 7442-7443
(domain price 1 Physical) Mid-level-ontology.kif 7439-7439 price 的 1 数量 是 物理instance
(domain price 2 CurrencyMeasure) Mid-level-ontology.kif 7440-7440 price 的 2 数量 是 货币测量instance
(domain price 3 Agent) Mid-level-ontology.kif 7441-7441 price 的 3 数量 是 施事体instance
(instance price TernaryPredicate) Mid-level-ontology.kif 7438-7438 price三元谓语instance

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


(format EnglishLanguage price "%1 %n{doesn't} price %2 for %3") domainEnglishFormat.kif 518-518
(subrelation askPrice price) FinancialOntology.kif 1862-1862 askPricepricesubrelation
(subrelation bidPrice price) FinancialOntology.kif 1842-1842 bidPricepricesubrelation
(termFormat EnglishLanguage price "price") domainEnglishFormat.kif 8303-8303 termFormat EnglishLanguage, price and "price"

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2965-2973 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementCallOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice 是 lessThan 那个 另外 货币测量 若且唯若 outOfTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2922-2930 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementCallOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 另外 货币测量lessThan 那个 FinancialInstrumentPrice 若且唯若 inTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option Option)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (equal ?StockPrice ?StrikePrice)))
    (atTheMoney ?Option ?Time))
FinancialOntology.kif 2948-2956 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice equal 那个 另外 货币测量 若且唯若 atTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 2932-2940 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementPutOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 FinancialInstrumentPrice 是 lessThan 那个 另外 货币测量 若且唯若 inTheMoney 那个 Agreement and 那个 施事体
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock ?StockPrice ?Time)
            (strikePrice ?Option ?StrikePrice)
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 2975-2983 有存在 FinancialInstrument那个 FinancialInstrumentPrice, and 和 另一个 货币测量 这样 AgreementPutOptioninstanceunderlier 那个 Agreement and 那个 FinancialInstrumentprice 那个 FinancialInstrument, 那个 FinancialInstrumentPrice and 施事体strikePrice 那个 Agreement and 那个 另外 货币测量那个 另外 货币测量lessThan 那个 FinancialInstrumentPrice 若且唯若 outOfTheMoney 那个 Agreement and 那个 施事体
(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (price ?Stock ?Price1 ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock ?Price2 ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3128-3141
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (price ?Stock ?Price1 ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock ?Price2 ?Time2)
            (lessThan ?Price2 ?Price1))))
FinancialOntology.kif 3109-3122
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (and
        (equal ?N3
            (MultiplicationFn ?Number ?N1))
        (equal ?NewNumber
            (DivisionFn ?N3 ?N2))
        (price ?Stocks
            (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
        (meetsTemporally ?Time ?TimeOfSplit)
        (meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))
FinancialOntology.kif 2173-2185
(=>
    (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 2590-2606
(=>
    (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 2546-2562
(=>
    (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
(=>
    (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
(=>
    (price ?Obj ?Money ?Agent)
    (exists (?Buying)
        (and
            (instance ?Buying Buying)
            (agent ?Buying ?Agent)
            (patient ?Buying ?Obj)
            (transactionAmount ?Buying ?Money))))
Mid-level-ontology.kif 7445-7452

consequent
-------------------------


(=>
    (and
        (freeFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 810-831
(=>
    (and
        (freePropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 518-533
(=>
    (and
        (freeRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?O ?OBJ)
        (located ?O ?R)
        (instance ?P Process)
        (agent ?P ?GUEST)
        (or
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 333-348
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0 UnitedStatesDollar) ?HOTEL))
Hotel.kif 350-363
(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (price ?Stock ?Price1 ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock ?Price2 ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3128-3141
(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU))
    (price ?MENU ?PRICE ?AGENT))
Dining.kif 193-197
(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2)
        (and
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ ?PRICE1 ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ ?PRICE2 ?AGENT2))
            (lessThan ?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7553-7562
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (price ?Stock ?Price1 ?Time1))
    (exists (?Transaction ?Time2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock ?Price2 ?Time2)
            (lessThan ?Price2 ?Price1))))
FinancialOntology.kif 3109-3122
(=>
    (and
        (paidFunctionRoomAmenity ?FR ?PHYS)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?AGENT))
        (instance ?R Renting)
        (patient ?R ?RM)
        (destination ?R ?CUST)
        (instance ?X ?PHYS)
        (possesses ?AGENT ?X)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))
Hotel.kif 840-863
(=>
    (and
        (paidPropertyAmenity ?AGENT ?PHYS)
        (instance ?X ?PHYS)
        (customer ?CUST ?AGENT)
        (or
            (and
                (instance ?X Process)
                (or
                    (agent ?X ?CUST)
                    (experiencer ?X ?CUST)))
            (and
                (possesses ?AGENT ?X)
                (instance ?X Object)
                (uses ?CUST ?X))))
    (and
        (price ?X ?PRICE ?AGENT)
        (greaterThan ?PRICE
            (MeasureFn 0 UnitedStatesDollar))))
Hotel.kif 541-558
(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (instance ?O ?OBJ)
            (located ?O ?R)
            (instance ?P Process)
            (agent ?P ?GUEST)
            (or
                (located ?P ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 372-392
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (or
                (instance ?P ?PROC)
                (and
                    (instance ?S ?PROC)
                    (subProcess ?P ?S)))
            (located ?P ?R))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))
Hotel.kif 394-411
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (and
        (equal ?N3
            (MultiplicationFn ?Number ?N1))
        (equal ?NewNumber
            (DivisionFn ?N3 ?N2))
        (price ?Stocks
            (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
        (meetsTemporally ?Time ?TimeOfSplit)
        (meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))
FinancialOntology.kif 2173-2185
(=>
    (roomAmenity ?X HotelMiniBar)
    (exists (?ROOM ?BAR ?HOTEL)
        (and
            (instance ?ROOM ?X)
            (element ?ROOM
                (PropertyFn ?HOTEL))
            (instance ?BAR HotelMiniBar)
            (located ?BAR ?ROOM)
            (forall (?ITEM)
                (=>
                    (member ?ITEM ?BAR)
                    (exists (?AMT)
                        (price ?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1671-1683


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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