| Renting | |
| appearance as argument number 1 |
|
|
| (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 24083-24084 | |
| (subclass Renting Borrowing) | Mid-level-ontology.kif 24082-24082 | |
| (subclass Renting FinancialTransaction) | Mid-level-ontology.kif 24081-24081 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Renting "租") | domainEnglishFormat.kif 49523-49523 | |
| (termFormat ChineseTraditionalLanguage Renting "租") | domainEnglishFormat.kif 49522-49522 | |
| (termFormat EnglishLanguage Renting "renting") | domainEnglishFormat.kif 49521-49521 |
| antecedent |
|
|
| (=> (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 | |
| (=> (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 | |
| (=> (and (instance ?R Renting) (agent ?R ?A) (patient ?R ?O)) (holdsDuring (WhenFn ?R) (modalAttribute (uses ?O ?A) Permission))) |
Mid-level-ontology.kif 24086-24093 | |
| (=> (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 | |
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1707-1715 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 8071-8079 | |
| (=> (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 31652-31660 | |
| (=> (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 8087-8095 |
|
|
|