Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| accommodationProvider |
| appearance as argument number 1 |
|
| (instance accommodationProvider BinaryPredicate) | Hotel.kif 2777-2777 | accommodations provider is an instance of binary predicate |
| (documentation accommodationProvider EnglishLanguage "(accommodationProvider ?PKG ?ORG) means that ?ORG, which is a TravelerAccommodation business, will provide the accommodations for the HotelPackage ?PKG") | Hotel.kif 2778-2780 | accommodations provider is an instance of binary predicate |
| (domain accommodationProvider 1 HotelPackage) | Hotel.kif 2783-2783 | The number 1 argument of accommodations provider is an instance of hotel package |
| (domain accommodationProvider 2 Organization) | Hotel.kif 2784-2784 | The number 2 argument of accommodations provider is an instance of organization |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage accommodationProvider "accommodations provider") | Hotel.kif 2781-2781 | |
| (format EnglishLanguage accommodationProvider "%2 provides %1") | domainEnglishFormat.kif 2664-2664 | |
| (format ChineseTraditionalLanguage accommodationProvider "%2 provides %1 ") | domainEnglishFormat.kif 2665-2665 | |
| (format ChineseLanguage accommodationProvider "%2 provides %1 ") | domainEnglishFormat.kif 2666-2666 |
| antecedent |
|
|
| (=> (and (propositionOwner ?AGENT ?HP) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (instance ?R ?ROOM) (element ?R (PropertyFn ?HOTEL)) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL))))) |
Hotel.kif 2762-2775 | If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S |
| (=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation)) |
Hotel.kif 2786-2788 | If X provides Y, then traveler accommodation is an attribute of X |
|