(=>
(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 9169-9183 |
If X is an instance of bargain sale, Y is a patient of X, and Y is an instance of object, then there exist Z, W,, , V,, , U and T such that T is an instance of unit of currency and Y is price Z T(s) for V holds during immediately before the time of existence of X and Y is price W T(s) for U holds during the time of existence of X and W is less than Z |
(=>
(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 3269-3285 |
If X is an instance of uptick, Y is a patient of X, equal the time of existence of X and Z, W is an instance of unit of currency, and Y is price V W(s) for Z, then there exist U, T and S such that U is an instance of stock market transaction and Y is a patient of U and equal the time of existence of U and T and T meets Z and Y is price S W(s) for T and S is less than V |
(=>
(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 3291-3307 |
If X is an instance of downtick, Y is a patient of X, equal the time of existence of X and Z, W is an instance of unit of currency, and Y is price V W(s) for Z, then there exist U, T and S such that U is an instance of stock market transaction and Y is a patient of U and equal the time of existence of U and T and T meets Z and Y is price S W(s) for T and S is greater than V |
(=>
(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 |
If All of the following hold: (1) use of X is free for Y (2) X is a subclass of object (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of X (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) U is a patient of T (2) U is an instrument for T (3) U is a resource for T, then U is price 0 united states dollar(s) for W |
(=>
(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 |
If All of the following hold: (1) use of X is free for Y (2) X is a subclass of process (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of X or T is an instance of X and U is a subprocess of T (8) U is located at Z, then U is price 0.0 united states dollar(s) for W |
(=>
(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 |
If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of object (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) T is located at Z (2) U is a patient of T (3) U is an instrument for T (4) U is a resource for T, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(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 |
If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of process (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of Y or T is an instance of Y and U is a subprocess of T (8) U is located at Z, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(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 548-563 |
If use of X is free for Y, Z is an instance of X, Y is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or Y possesses Z, Z is an instance of object, and W uses Z, then Z is price 0 united states dollar(s) for Y |
(=>
(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 573-593 |
If renters of X can pay to use Y, Z is an instance of Y, X is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or X possesses Z, Z is an instance of object, and W uses Z, then there exist V and U such that Z is price V U(s) for X and U is an instance of unit of currency and V is greater than 0 |
(=>
(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 847-868 |
If All of the following hold: (1) X is free for customers renting Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W |
(=>
(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 879-905 |
If All of the following hold: (1) renters of X can pay to use Y (2) Z is an instance of X (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) V ends up at U (7) T is an instance of Y (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then there exist S and R such that T is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
(=>
(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 1738-1750 |
If mini bar is an amenity in X, then there exist Y, Z, W such that Y is an instance of X, Y is an element of belongings of W, Z is an instance of mini bar, Z is located at Y, and V V is a member of Zthere exists U such that V is price U for W |
price