| 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 1635-1636 | |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1634-1634 | subclass HotelFunctionRoom and Room |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelFunctionRoom "hotel function room") | Hotel.kif 1637-1637 |
| appearance as argument number 3 |
|
|
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 781-781 | domainSubclass functionRoomAmenity, 1 and HotelFunctionRoom |
| antecedent |
|
|
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1644-1652 | |
| (=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1639-1642 | |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1654-1660 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners