TreeView Knowledge Base Browser - price

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 7408-7409
(domain price 1 Physical)	Mid-level-ontology.kif 7405-7405	domain price, 1 and Physical
(domain price 2 CurrencyMeasure)	Mid-level-ontology.kif 7406-7406	domain price, 2 and CurrencyMeasure
(domain price 3 Agent)	Mid-level-ontology.kif 7407-7407	domain price, 3 and Agent
(instance price TernaryPredicate)	Mid-level-ontology.kif 7404-7404	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 1933-1933	subrelation askPrice and price
(subrelation bidPrice price)	FinancialOntology.kif 1913-1913	subrelation bidPrice and price
(termFormat ChineseLanguage price "价钱")	domainEnglishFormat.kif 47265-47265
(termFormat ChineseTraditionalLanguage price "價錢")	domainEnglishFormat.kif 47264-47264
(termFormat EnglishLanguage price "price")	domainEnglishFormat.kif 47263-47263

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 3058-3069	FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan FinancialInstrumentPrice and RealNumber outOfTheMoney Agreement and Agent
(<=> (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 3009-3020	FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan RealNumber 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 3041-3049	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 (MeasureFn ?StockPrice ?U) ?Time) (instance ?U UnitOfCurrency) (strikePrice ?Option (MeasureFn ?StrikePrice ?U)) (lessThan ?StockPrice ?StrikePrice))) (inTheMoney ?Option ?Time))	FinancialOntology.kif 3022-3033	FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan FinancialInstrumentPrice and RealNumber inTheMoney Agreement and Agent
(<=> (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 3071-3082	FinancialInstrument FinancialInstrumentPrice and RealNumber instance Agreement and PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, MeasureFn FinancialInstrumentPrice and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency strikePrice Agreement and MeasureFn RealNumber and UnitOfMeasure lessThan RealNumber and FinancialInstrumentPrice outOfTheMoney Agreement and Agent
(=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2) (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 3241-3257	instance Process and Downtick patient Process and Physical equal WhenFn Process and Agent instance UnitOfMeasure and UnitOfCurrency price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent greaterThan RealNumber and RealNumber
(=> (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) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2) (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 3219-3235	instance Process and Uptick patient Process and Physical equal WhenFn Process and Agent instance UnitOfMeasure and UnitOfCurrency price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent lessThan RealNumber and RealNumber
(=> (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 2250-2262	price Physical, MeasureFn RealNumber and UnitedStatesDollar and Agent StockSplit splitFor StockSplit, Integer and Integer equal WhenFn StockSplit and AgentOfSplit equal RealNumber and MultiplicationFn RealNumber and Integer equal RealNumber and DivisionFn RealNumber 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 2677-2693	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 2631-2647	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 2695-2711	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 2649-2667	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 7411-7418	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 820-841	freeFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class 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 526-541	freePropertyAmenity CognitiveAgent and Class instance Agent and Class 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 Class subclass Class and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and Class 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.0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 351-365	freeRoomAmenity HotelUnit and Class subclass Class and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and Class instance Process and Class subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn 0.0 and UnitedStatesDollar and Agent
(=> (and (instance ?Downtick Downtick) (patient ?Downtick ?Stock) (equal (WhenFn ?Downtick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2) (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 3241-3257	instance Process and Downtick patient Process and Physical equal WhenFn Process and Agent instance UnitOfMeasure and UnitOfCurrency price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent greaterThan RealNumber and RealNumber
(=> (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 7517-7531	instance Process and BargainSale patient Process and Entity instance Entity and Object RealNumber RealNumber, entity, entity and Entity instance Entity and UnitOfCurrency holdsDuring ImmediatePastFn WhenFn Process and price Entity, MeasureFn RealNumber and Entity and entity holdsDuring WhenFn Process and price Entity, MeasureFn RealNumber and Entity and entity lessThan RealNumber and RealNumber
(=> (and (instance ?Uptick Uptick) (patient ?Uptick ?Stock) (equal (WhenFn ?Uptick) ?Time1) (instance ?U UnitOfCurrency) (price ?Stock (MeasureFn ?Price1 ?U) ?Time1)) (exists (?Transaction ?Time2) (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 3219-3235	instance Process and Uptick patient Process and Physical equal WhenFn Process and Agent instance UnitOfMeasure and UnitOfCurrency price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent Process Agent instance Process and StockMarketTransaction patient Process and Physical equal WhenFn Process and Agent meetsTemporally Agent and Agent price Physical, MeasureFn RealNumber and UnitOfMeasure and Agent lessThan RealNumber and RealNumber
(=> (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 (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))	Hotel.kif 850-875	paidFunctionRoomAmenity HotelFunctionRoom and Class instance Entity and HotelFunctionRoom element Entity and PropertyFn CognitiveAgent instance Process and Renting patient Process and Entity destination Process and CognitiveAgent instance Agent and Class 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 RealNumber and UnitOfMeasure and CognitiveAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 0
(=> (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 (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))	Hotel.kif 549-568	paidPropertyAmenity CognitiveAgent and Class instance Agent and Class 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 RealNumber and UnitOfMeasure and CognitiveAgent instance UnitOfMeasure and UnitOfCurrency greaterThan RealNumber and 0
(=> (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 (MeasureFn ?PRICE ?U) ?HOTEL) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 374-396	paidRoomAmenity HotelUnit and Class subclass Class and Object instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent instance Object and Class 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, MeasureFn ProcessRICE and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (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 (MeasureFn ?PRICE ?U) ?HOTEL) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0))))	Hotel.kif 398-418	paidRoomAmenity HotelUnit and Class subclass Class and Process instance TemporaryResidence and HotelUnit stays Human and TemporaryResidence element TemporaryResidence and PropertyFn Agent patient Process and Human instance Process and Class instance Process and Class subProcess Process and Process located Process and TemporaryResidence price Process, MeasureFn ProcessRICE and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThan ProcessRICE and 0
(=> (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 2250-2262	price Physical, MeasureFn RealNumber and UnitedStatesDollar and Agent StockSplit splitFor StockSplit, Integer and Integer equal WhenFn StockSplit and AgentOfSplit equal RealNumber and MultiplicationFn RealNumber and Integer equal RealNumber and DivisionFn RealNumber 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 1702-1714	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 Physical member Physical and Collection CurrencyMeasure price Physical, CurrencyMeasure and Agent

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