| Renting(renting) | | lease, rent |
| appearance as argument number 1 |
|
|
| (subclass Renting FinancialTransaction) | Mid-level-ontology.kif 24781-24781 | Renting is a subclass of financial transaction |
| (subclass Renting Borrowing) | Mid-level-ontology.kif 24782-24782 | Renting is a subclass of borrowing |
| (documentation Renting EnglishLanguage "Giving money to the owner of an Object in exchange for the right to use the Object for a fixed time period.") | Mid-level-ontology.kif 24783-24784 | Renting is a subclass of borrowing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME))) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 467-492 | If All of the following hold: (1) the price of X set by Y according to Z is W (2) equal W, the per of V, and the measure of U is T (3) T is an instance of unit of duration (4) S is an immediate instance of X (5) R is an instance of renting (6) S is a patient of R (7) Q is an agent of R (8) R exists during P, then For all TimeInterval O: if there exists N such that P takes place during O and O is an instance of timeframe and duration of O is N T(s) and N is less than or equal to U, then there exists M such that M is an instance of payment, M ends up at Y, Q is an agent of M, and V is a transaction amount of M |
| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 | If All of the following hold: (1) use of X is free for 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) W is an agent of V (7) V ends up at U (8) X is a subclass of object, then the statement there exist T, S such that T is an instance of X, S is an instance of process, T is a resource for S, T is an instrument for S, T is a patient of S, and U is an agent of S, or U experiences S has the modal force of possibility |
| (=> (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 |
| (=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission))) |
Mid-level-ontology.kif 24786-24793 | If X is an instance of renting, Y is an agent of X, and Z is a patient of X, then the statement Y uses Z has the modal force of permission holds during the time of existence of X |
| consequent |
|
|
| (=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?SELLER ?CUSTOMER) (and (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?CUSTOMER ?AGREE) (modalAttribute (exists (?R ?O) (and (instance ?R Renting) (instance ?O ?OBJ) (patient ?R ?O) (agent ?R ?SELLER) (destination ?R ?CUSTOMER))) Obligation)))) |
Catalog.kif 513-526 | If X specifies the rental of Y for Z, then All of the following hold: (1) there exist W (2) V such that X is a party to agreement of W (3) X is a party to agreement of V (4) the statement there exist U (5) T such that U is an instance of renting (6) T is an instance of Y (7) T is a patient of U (8) W is an agent of U (9) U ends up at V has the modal force of obligation |
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1707-1715 | If X is an instance of hotel function room and X is an element of belongings of Y, then X has the purpose there exists Z such that Z is an instance of renting and X is a patient of Z |
| (=> (landlord ?L ?U) (exists (?R ?P) (and (possesses ?L ?U) (tenant ?P ?U) (agent ?R ?P) (instance ?R Renting) (patient ?R ?U)))) |
Mid-level-ontology.kif 8070-8078 | If X is a landlord of Y, then there exist Z, W such that Y possesses X, X is a tenant of W, W is an agent of Z, Z is an instance of renting, and X is a patient of Z |
| (=> (tenant ?P ?U) (exists (?L ?R) (and (instance ?R Renting) (landlord ?L ?U) (agent ?R ?P) (possesses ?L ?U) (patient ?R ?U)))) |
Mid-level-ontology.kif 8086-8094 | If X is a tenant of Y, then there exist Z, W such that W is an instance of renting, X is a landlord of Z, Y is an agent of W, Z possesses X, and X is a patient of W |
| (=> (rents ?CUST ?AGENT ?OBJ ?TI) (holdsDuring ?TI (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?OBJ) (agent ?RENT ?CUST) (possesses ?AGENT ?OBJ))))) |
Mid-level-ontology.kif 32639-32647 | If X rents Y to Z during W, then there exists V such that V is an instance of renting, Y is a patient of V, Z is an agent of V, and X possesses Y holds during W |
| (=> (attribute ?X PassengerCarRental) (hasPurpose ?X (exists (?RENT ?CAR ?CUST) (and (customer ?CUST ?X) (instance ?CAR Automobile) (instance ?RENT Renting) (possesses ?X ?CAR) (agent ?RENT ?CUST))))) |
naics.kif 9711-9720 | If passenger car rental is an attribute of X, then X has the purpose there exist Y, Z, W such that X is a customer of W, Z is an instance of automobile, Y is an instance of renting, X possesses Z, and W is an agent of Y |
|
|
|