Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| paidPropertyAmenity |
| appearance as argument number 1 |
|
| (subrelation paidPropertyAmenity propertyAmenity) | Hotel.kif 565-565 | paid property amenity is a subrelation of property amenity |
| (domain paidPropertyAmenity 1 AutonomousAgent) | Hotel.kif 566-566 | The number 1 argument of paid property amenity is an instance of agent |
| (domainSubclass paidPropertyAmenity 2 Physical) | Hotel.kif 567-567 | The number 2 argument of paid property amenity is a subclass of physical |
| (instance paidPropertyAmenity BinaryPredicate) | Hotel.kif 568-568 | paid property amenity is an instance of binary predicate |
| (documentation paidPropertyAmenity EnglishLanguage "(paidPropertyAmenity ?AGENT ?PHYS) means that AutonomousAgent ?AGENT provides Physical ?PHYS at additional cost") | Hotel.kif 569-570 | paid property amenity is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage paidPropertyAmenity "paid property amenity") | Hotel.kif 571-571 | |
| (format EnglishLanguage paidPropertyAmenity "renters of %1 can pay to use %2") | domainEnglishFormat.kif 4068-4068 | |
| (format ChineseTraditionalLanguage paidPropertyAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4069-4069 | |
| (format ChineseLanguage paidPropertyAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4070-4070 |
| antecedent |
|
|
| (=> (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 |
|