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 7739-7740
(domain price 1 Physical) Mid-level-ontology.kif 7736-7736
(domain price 2 CurrencyMeasure) Mid-level-ontology.kif 7737-7737
(domain price 3 AutonomousAgent) Mid-level-ontology.kif 7738-7738
(instance price TernaryPredicate) Mid-level-ontology.kif 7735-7735

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


(format ChineseLanguage price "%1 %n 是 对于 %3 的 price %2 ") domainEnglishFormat.kif 2039-2039
(format ChineseTraditionalLanguage price "%1 %n 是 對於 %3 的 price %2 ") domainEnglishFormat.kif 2038-2038
(format EnglishLanguage price "%1 is %n price %2 for %3") domainEnglishFormat.kif 2037-2037
(subrelation askPrice price) FinancialOntology.kif 1924-1924
(subrelation bidPrice price) FinancialOntology.kif 1904-1904
(termFormat ChineseLanguage price "价钱") domainEnglishFormat.kif 47282-47282
(termFormat ChineseTraditionalLanguage price "價錢") domainEnglishFormat.kif 47281-47281
(termFormat EnglishLanguage price "price") domainEnglishFormat.kif 47280-47280

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


(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 3051-3062
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option CallOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 3002-3013
(<=>
    (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 3034-3042
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StockPrice ?StrikePrice)))
    (inTheMoney ?Option ?Time))
FinancialOntology.kif 3015-3026
(<=>
    (exists (?Stock ?StockPrice ?StrikePrice)
        (and
            (instance ?Option PutOption)
            (underlier ?Option ?Stock)
            (price ?Stock
                (MeasureFn ?StockPrice ?U) ?Time)
            (instance ?U UnitOfCurrency)
            (strikePrice ?Option
                (MeasureFn ?StrikePrice ?U))
            (lessThan ?StrikePrice ?StockPrice)))
    (outOfTheMoney ?Option ?Time))
FinancialOntology.kif 3064-3075
(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU)
        (catalogItem ?CLASS ?MENU)
        (subclass ?CLASS PreparedFood)
        (instance ?X ?VLASS)
        (instance ?Y ?CLASS)
        (not
            (equal ?X ?Y))
        (price ?X ?PRICE1 ?AGENT1)
        (price ?Y ?PRICE2 ?AGENT2))
    (equal ?PRICE1 ?PRICE2))
Dining.kif 189-201
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (lessThan ?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
(=>
    (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 2669-2685
(=>
    (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 2623-2639
(=>
    (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
(=>
    (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
(=>
    (price ?Obj ?Money ?Agent)
    (exists (?Buying)
        (and
            (instance ?Buying Buying)
            (agent ?Buying ?Agent)
            (patient ?Buying ?Obj)
            (transactionAmount ?Buying ?Money))))
Mid-level-ontology.kif 7742-7749

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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 841-862
(=>
    (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 ?X ?CUST))))
    (price ?X
        (MeasureFn 0 UnitedStatesDollar) ?AGENT))
Hotel.kif 546-561
(=>
    (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 ?O
        (MeasureFn 0 UnitedStatesDollar) ?GUEST))
Hotel.kif 346-361
(=>
    (and
        (freeRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (price ?P
        (MeasureFn 0.0 UnitedStatesDollar) ?GUEST))
Hotel.kif 364-378
(=>
    (and
        (instance ?Downtick Downtick)
        (patient ?Downtick ?Stock)
        (equal
            (WhenFn ?Downtick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (greaterThan ?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
(=>
    (and
        (instance ?SALE BargainSale)
        (patient ?SALE ?OBJ)
        (instance ?OBJ Object))
    (exists (?PRICE1 ?PRICE2 ?AGENT1 ?AGENT2 ?U)
        (and
            (instance ?U UnitOfCurrency)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?SALE))
                (price ?OBJ
                    (MeasureFn ?PRICE1 ?U) ?AGENT1))
            (holdsDuring
                (WhenFn ?SALE)
                (price ?OBJ
                    (MeasureFn ?PRICE2 ?U) ?AGENT2))
            (lessThan ?PRICE2 ?PRICE1))))
Mid-level-ontology.kif 7848-7862
(=>
    (and
        (instance ?Uptick Uptick)
        (patient ?Uptick ?Stock)
        (equal
            (WhenFn ?Uptick) ?Time1)
        (instance ?U UnitOfCurrency)
        (price ?Stock
            (MeasureFn ?Price1 ?U) ?Time1))
    (exists (?Transaction ?Time2 ?Price2)
        (and
            (instance ?Transaction StockMarketTransaction)
            (patient ?Transaction ?Stock)
            (equal
                (WhenFn ?Transaction) ?Time2)
            (meetsTemporally ?Time2 ?Time1)
            (price ?Stock
                (MeasureFn ?Price2 ?U) ?Time2)
            (lessThan ?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
(=>
    (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 ?X ?CUST))))
    (exists (?PRICE ?U)
        (and
            (price ?X
                (MeasureFn ?PRICE ?U) ?AGENT)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 871-897
(=>
    (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 ?X ?CUST))))
    (exists (?PRICE ?U)
        (and
            (price ?X
                (MeasureFn ?PRICE ?U) ?AGENT)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 569-589
(=>
    (and
        (paidRoomAmenity ?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
            (located ?P ?R)
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (exists (?PRICE ?U)
        (and
            (price ?O
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 396-417
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (instance ?R ?ROOM)
        (stays ?GUEST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (patient ?P ?GUEST)
        (or
            (instance ?P ?PROC)
            (and
                (instance ?S ?PROC)
                (subProcess ?P ?S)))
        (located ?P ?R))
    (exists (?PRICE ?U)
        (and
            (price ?P
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 419-438
(=>
    (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 1727-1739


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 3.0 is open source software produced by Articulate Software and its partners