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 22423-22424 | |
(subclass Renting Borrowing) | Mid-level-ontology.kif 22422-22422 | 租 是 借入 的 subclass |
(subclass Renting FinancialTransaction) | Mid-level-ontology.kif 22421-22421 | 租 是 金融交易 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Renting "租") | domainEnglishFormat.kif 49490-49490 | |
(termFormat ChineseTraditionalLanguage Renting "租") | domainEnglishFormat.kif 49489-49489 | |
(termFormat EnglishLanguage Renting "renting") | domainEnglishFormat.kif 49488-49488 |
antecedent |
consequent |
(=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1696-1704 | |
(=> (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 6891-6899 | |
(=> (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 30001-30009 | |
(=> (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 6907-6915 |