| appearance as argument number 1 |
|
| (documentation roomStay EnglishLanguage "(roomStay ?PACKAGE ?QTY ?ROOM) means that the package includes a ?QTY number of days stay at room type ?ROOM at the TravelerAccommodation") | Hotel.kif 2743-2745 | |
| (domain roomStay 1 HotelPackage) | Hotel.kif 2748-2748 | |
| (domain roomStay 2 Integer) | Hotel.kif 2749-2749 | |
| (domainSubclass roomStay 3 HotelUnit) | Hotel.kif 2750-2750 | |
| (instance roomStay TernaryPredicate) | Hotel.kif 2742-2742 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ") | domainEnglishFormat.kif 4454-4454 | |
| (format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ") | domainEnglishFormat.kif 4453-4453 | |
| (format EnglishLanguage roomStay "%1 specifies %2 days stay at %3") | domainEnglishFormat.kif 4452-4452 | |
| (termFormat EnglishLanguage roomStay "room stay") | Hotel.kif 2746-2746 |
| 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 2755-2768 |
| consequent |
|
|
| (=> (instance ?X HotelPackage) (exists (?UNIT ?INT) (roomStay ?X ?INT ?UNIT))) |
Hotel.kif 2811-2814 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners