| appearance as argument number 1 |
|
| (documentation HotelFunctionRoom EnglishLanguage "HotelFunctionRoom is a Room found in a HotelBuilding that is rented out and can be used for virtually any purpose.") | Hotel.kif 1698-1699 | |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1697-1697 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelFunctionRoom "hotel function room") | Hotel.kif 1700-1700 |
| appearance as argument number 3 |
|
|
| (domainSubclass freeFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 839-839 | |
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 812-812 | |
| (domainSubclass paidFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 871-871 |
| antecedent |
|
|
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1707-1715 | |
| (=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1702-1705 | |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1717-1723 |
|
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