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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7443-7444
(domain price 1 Physical) Mid-level-ontology.kif 7440-7440
(domain price 2 CurrencyMeasure) Mid-level-ontology.kif 7441-7441
(domain price 3 Agent) Mid-level-ontology.kif 7442-7442
(instance price TernaryPredicate) Mid-level-ontology.kif 7439-7439

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 1860-1860
(subrelation bidPrice price) FinancialOntology.kif 1840-1840
(termFormat ChineseLanguage price "价钱") domainEnglishFormat.kif 47221-47221
(termFormat ChineseTraditionalLanguage price "價錢") domainEnglishFormat.kif 47220-47220
(termFormat EnglishLanguage price "price") domainEnglishFormat.kif 47219-47219

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
(<=>
    (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
(<=>
    (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
(<=>
    (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
(<=>
    (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
(=>
    (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 3134-3147
(=>
    (and
        (instance ?MENU SetMenu)
        (offers ?AGENT ?MENU)
        (catalogItem ?X ?MENU)
        (catalogItem ?Y ?MENU)
        (price ?X ?PRICE1 ?AGENT1)
        (price ?Y ?PRICE2 ?AGENT2))
    (equal ?PRICE1 ?PRICE2))		 Dining.kif 189-197
(=>
    (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 3115-3128
(=>
    (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 2171-2183
(=>
    (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 2544-2560
(=>
    (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 2562-2580
(=>
    (price ?Obj ?Money ?Agent)
    (exists (?Buying)
        (and
            (instance ?Buying Buying)
            (agent ?Buying ?Agent)
            (patient ?Buying ?Obj)
            (transactionAmount ?Buying ?Money))))		 Mid-level-ontology.kif 7446-7453

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 814-835
(=>
    (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 522-537
(=>
    (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 334-349
(=>
    (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 UnitedStatesDollar) ?HOTEL))		 Hotel.kif 351-365
(=>
    (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 3134-3147
(=>
    (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 7554-7563
(=>
    (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 3115-3128
(=>
    (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 844-867
(=>
    (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 545-562
(=>
    (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 374-394
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (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))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))		 Hotel.kif 396-414
(=>
    (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 2171-2183
(=>
    (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 1675-1687


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