price - Sigma Knowledge base Browser

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

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 askPrice and price
(subrelation bidPrice price)	FinancialOntology.kif 1840-1840	subrelation bidPrice and price
(termFormat ChineseLanguage price "价钱")	domainEnglishFormat.kif 47221-47221	termFormat ChineseLanguage, price and "价钱"
(termFormat ChineseTraditionalLanguage price "價錢")	domainEnglishFormat.kif 47220-47220	termFormat ChineseTraditionalLanguage, price and "價錢"
(termFormat EnglishLanguage price "price")	domainEnglishFormat.kif 47219-47219	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 CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure outOfTheMoney Agreement and Agent
(<=> (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 CurrencyMeasure instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice inTheMoney Agreement and Agent
(<=> (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 CurrencyMeasure instance Agreement and Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure equal FinancialInstrumentPrice and CurrencyMeasure atTheMoney Agreement and Agent
(<=> (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 CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan FinancialInstrumentPrice and CurrencyMeasure inTheMoney Agreement and Agent
(<=> (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 CurrencyMeasure instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and Agent strikePrice Agreement and CurrencyMeasure lessThan CurrencyMeasure and FinancialInstrumentPrice outOfTheMoney Agreement and Agent
(=> (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	instance Process and Downtick patient Process and Physical equal WhenFn Process and Agent price Physical, CurrencyMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, CurrencyMeasure and Agent greaterThan CurrencyMeasure and CurrencyMeasure
(=> (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	instance Catalog and SetMenu offers Agent and Catalog catalogItem Entity and Catalog catalogItem Entity and Catalog price Entity, CurrencyMeasure and Agent price Entity, CurrencyMeasure and Agent equal CurrencyMeasure and CurrencyMeasure
(=> (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	instance Process and Uptick patient Process and Physical equal WhenFn Process and Agent price Physical, CurrencyMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, CurrencyMeasure and Agent lessThan CurrencyMeasure and CurrencyMeasure
(=> (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	price Physical, MeasureFn RealNumber and UnitedStatesDollar and Agent StockSplit splitFor StockSplit, Integer and Integer equal WhenFn StockSplit and AgentOfSplit equal Quantity and MultiplicationFn RealNumber and Integer equal RealNumber and DivisionFn Quantity and Integer price Physical, MeasureFn RealNumber and UnitedStatesDollar and AgentAfterSplit meetsTemporally Agent and AgentOfSplit meetsTemporally AgentOfSplit and AgentAfterSplit
(=> (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	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsRight KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsRight KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (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	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
(=> (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	price Physical, CurrencyMeasure and Agent FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent patient FinancialTransaction and Physical transactionAmount FinancialTransaction and CurrencyMeasure

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	freeFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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	freePropertyAmenity CognitiveAgent and SetOrClass instance Agent and SetOrClass customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, MeasureFn 0 and UnitedStatesDollar and CognitiveAgent
(=> (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	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human patient Process and Object instrument Process and Object resource Process and Object price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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	freeRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and SetOrClass instance Process and SetOrClass subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0 and UnitedStatesDollar and Agent
(=> (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	instance Process and Downtick patient Process and Physical equal WhenFn Process and Agent price Physical, CurrencyMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, CurrencyMeasure and Agent greaterThan CurrencyMeasure and CurrencyMeasure
(=> (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	instance Process and BargainSale patient Process and Entity instance Entity and Object Quantity Quantity, entity and entity holdsDuring ImmediatePastFn WhenFn Process and price Entity, Quantity and entity holdsDuring WhenFn Process and price Entity, Quantity and entity lessThan Quantity and Quantity
(=> (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	instance Process and Uptick patient Process and Physical equal WhenFn Process and Agent price Physical, CurrencyMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, CurrencyMeasure and Agent lessThan CurrencyMeasure and CurrencyMeasure
(=> (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	paidFunctionRoomAmenity HotelFunctionRoom and SetOrClass instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and SetOrClass possesses CognitiveAgent and Agent customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, CurrencyMeasure and CognitiveAgent greaterThan CurrencyMeasure and MeasureFn 0 and UnitedStatesDollar
(=> (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	paidPropertyAmenity CognitiveAgent and SetOrClass instance Agent and SetOrClass customer CognitiveAgent and CognitiveAgent instance Agent and Process agent Agent and CognitiveAgent experiencer Agent and CognitiveAgent possesses CognitiveAgent and Agent instance Agent and Object uses CognitiveAgent and Agent price Agent, CurrencyMeasure and CognitiveAgent greaterThan CurrencyMeasure and MeasureFn 0 and UnitedStatesDollar
(=> (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	paidRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and SetOrClass located Object and TemporaryResidence instance Process and Process agent Process and Human located Process and Object patient Process and Object instrument Process and Object resource Process and Object price Process, ProcessRICE and Agent greaterThan ProcessRICE and MeasureFn 0 and UnitedStatesDollar
(=> (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	paidRoomAmenity HotelUnit and SetOrClass subclass SetOrClass and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and SetOrClass instance Process and SetOrClass subProcess Process and Process located Process and TemporaryResidence price Process, ProcessRICE and Agent greaterThan ProcessRICE and MeasureFn 0 and UnitedStatesDollar
(=> (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	price Physical, MeasureFn RealNumber and UnitedStatesDollar and Agent StockSplit splitFor StockSplit, Integer and Integer equal WhenFn StockSplit and AgentOfSplit equal Quantity and MultiplicationFn RealNumber and Integer equal RealNumber and DivisionFn Quantity and Integer price Physical, MeasureFn RealNumber and UnitedStatesDollar and AgentAfterSplit meetsTemporally Agent and AgentOfSplit meetsTemporally AgentOfSplit and AgentAfterSplit
(=> (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	roomAmenity HotelUnit and HotelMiniBar Object Collection and Agent instance Object and HotelUnit element Object and PropertyFn Agent instance Collection and HotelMiniBar located Collection and Object Object member Object and Collection CurrencyMeasure price Object, CurrencyMeasure and Agent

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