| 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 2678-2680 | |
| (domain roomStay 1 HotelPackage) | Hotel.kif 2683-2683 | |
| (domain roomStay 2 Integer) | Hotel.kif 2684-2684 | |
| (domainSubclass roomStay 3 HotelUnit) | Hotel.kif 2685-2685 | |
| (instance roomStay TernaryPredicate) | Hotel.kif 2677-2677 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ") | domainEnglishFormat.kif 4455-4455 | |
| (format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ") | domainEnglishFormat.kif 4454-4454 | |
| (format EnglishLanguage roomStay "%1 specifies %2 days stay at %3") | domainEnglishFormat.kif 4453-4453 | |
| (termFormat EnglishLanguage roomStay "room stay") | Hotel.kif 2681-2681 |
| antecedent |
|
|
| (=> (and (propositionOwner ?HP ?AGENT) (instance ?HP HotelPackage) (accommodationProvider ?HP ?HOTEL) (roomStay ?HP ?NUM ?ROOM) (part ?ROOM ?HOTEL) (buys ?CUST ?AGENT ?HP)) (exists (?TI) (and (equal ?TI (MeasureFn ?NUM DayDuration)) (holdsDuring ?TI (guest ?CUST ?HOTEL))))) |
Hotel.kif 2687-2699 |
| consequent |
|
|
| (=> (instance ?X HotelPackage) (exists (?UNIT ?INT) (roomStay ?X ?INT ?UNIT))) |
Hotel.kif 2742-2745 |
|
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