Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HotelRoomAttribute
HotelRoomAttribute(hotel room attribute)

appearance as argument number 1
-------------------------


(subclass HotelRoomAttribute RelationalAttribute) Hotel.kif 981-981 Hotel room attribute is a subclass of relational attribute
(documentation HotelRoomAttribute EnglishLanguage "HotelRoomAttribute gives descriptions about HotelUnit") Hotel.kif 982-983 Hotel room attribute is a subclass of relational attribute

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HotelRoomAttribute "hotel room attribute") Hotel.kif 984-984
(instance StandardRoom HotelRoomAttribute) Hotel.kif 992-992 Standard room is an instance of hotel room attribute
(instance DeluxeRoom HotelRoomAttribute) Hotel.kif 999-999 Deluxe room is an instance of hotel room attribute
(instance Suite HotelRoomAttribute) Hotel.kif 1005-1005 Suite is an instance of hotel room attribute
(instance ChildrenSuite HotelRoomAttribute) Hotel.kif 1031-1031 Children's suite is an instance of hotel room attribute
(instance FemaleExecutiveRoom HotelRoomAttribute) Hotel.kif 1045-1045 Female executive room is an instance of hotel room attribute
(instance DownAndInRoom HotelRoomAttribute) Hotel.kif 1060-1060 Down and in room is an instance of hotel room attribute
(instance DownAndOutRoom HotelRoomAttribute) Hotel.kif 1075-1075 Down and out room is an instance of hotel room attribute
(instance ThemeRoom HotelRoomAttribute) Hotel.kif 1090-1090 Theme room is an instance of hotel room attribute
(instance TowerRoom HotelRoomAttribute) Hotel.kif 1104-1104 Tower room is an instance of hotel room attribute
(instance WesternRoomStyle HotelRoomAttribute) Hotel.kif 1116-1116 Western room style is an instance of hotel room attribute
(instance AsianRoomStyle HotelRoomAttribute) Hotel.kif 1121-1121 Asian room style is an instance of hotel room attribute
(instance CastleRoom HotelRoomAttribute) Hotel.kif 1126-1126 Castle room is an instance of hotel room attribute
(instance AnnexRoom HotelRoomAttribute) Hotel.kif 1129-1129 Annex room is an instance of hotel room attribute

antecedent
-------------------------


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelRoomAttribute))
    (instance ?X HotelUnit))		 Hotel.kif 986-990 If X is an attribute of Y and X is an instance of hotel room attribute, then Y is an instance of hotel unit


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners