Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rents |
| appearance as argument number 1 |
|
| (instance rents QuaternaryPredicate) | Mid-level-ontology.kif 32585-32585 | rents is an instance of quaternary predicate |
| (documentation rents EnglishLanguage "(rents ?CUST ?AGENT ?OBJ ?TI) means that for TimeInterval ?TI, CognitiveAgent ?CUST is Renting Object ?OBJ from CognitiveAgent ?AGENT") | Mid-level-ontology.kif 32586-32588 | rents is an instance of quaternary predicate |
| (domain rents 1 AutonomousAgent) | Mid-level-ontology.kif 32595-32595 | The number 1 argument of rents is an instance of agent |
| (domain rents 2 AutonomousAgent) | Mid-level-ontology.kif 32596-32596 | The number 2 argument of rents is an instance of agent |
| (domain rents 3 Object) | Mid-level-ontology.kif 32597-32597 | The number 3 argument of rents is an instance of object |
| (domain rents 4 TimeInterval) | Mid-level-ontology.kif 32598-32598 | The number 4 argument of rents is an instance of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage rents "rents") | Mid-level-ontology.kif 32589-32589 | |
| (format EnglishLanguage rents "%2 rents %3 to %1 during %4") | domainEnglishFormat.kif 4388-4388 | |
| (format ChineseTraditionalLanguage rents "%2 rents %3 給 %1 在其間 %4 ") | domainEnglishFormat.kif 4389-4389 | |
| (format ChineseLanguage rents "%2 rents %3 给 %1 在其间 %4 ") | domainEnglishFormat.kif 4390-4390 |
| antecedent |
|
|
| (=> (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 32600-32608 | 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 |
| (=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL))) |
Hotel.kif 69-75 | If X rents Y to Z during W, traveler accommodation is an attribute of X, and Y is an instance of hotel unit, then Z is a guest at X holds during W |
| consequent |
|
|
| (=> (attribute ?X TravelerAccommodation) (hasPurpose ?X (exists (?GUEST ?ROOM ?TI) (and (rents ?GUEST ?X ?ROOM ?TI) (instance ?ROOM HotelUnit) (element ?ROOM (PropertyFn ?X)))))) |
Hotel.kif 45-52 | If traveler accommodation is an attribute of X, then X has the purpose there exist Y, Z, W such that X rents Z to Y during W, Z is an instance of hotel unit, and Z is an element of belongings of X |
| (=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI))))) |
Hotel.kif 110-117 | If X is an instance of hotel unit, then X has the purpose there exist Y, Z, W such that equal Y, Z, X is an element of belongings of Y, and Y rents X to Z during W |
|