HotelRoom - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HotelRoom

HotelRoom(hotel room)

hotel_room, motel_room

appearance as argument number 1

(documentation HotelRoom EnglishLanguage "HotelRoom refers to a Room that is part of a HotelBuilding that serves as a TemporaryResidence for travelers")	Hotel.kif 121-122
(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	Hotel room is a subclass of hotel unit
(subclass HotelRoom Room)	Hotel.kif 119-119	Hotel room is a subclass of room

appearance as argument number 2

(termFormat EnglishLanguage HotelRoom "hotel room")

Hotel.kif 123-123

antecedent

(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2)))))	Hotel.kif 1135-1148	If an object is an element of belongings of an organization and annex room is an attribute of the object and the object is an instance of hotel room, then there exist another object, a third object and another organization such that the other organization is a part of the organization the organization and the other organization is an instance of front desk and the other organization is located at the other object and the other object is an element of belongings of the organization and the third object is an element of belongings of the organization and the object is a part of the third object and equal the other object and the third object
(=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG))))	Hotel.kif 125-130	If an object is an instance of hotel room, then there exists another object such that the other object is an instance of hotel and the object is a part of the other object

consequent

(=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2)))))	Hotel.kif 1011-1022	If suite is an attribute of an object and the object is an instance of hotel unit, then there exist another object and a third object such that the other object is an instance of hotel room and the third object is an instance of hotel room and the other object is inside to the object and the third object is inside to the object and equal the other object and the third object
(=> (attribute ?X ExclusiveFemaleLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN Female) (stays ?HUMAN ?Y)))))))	Hotel.kif 1251-1262	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
(=> (attribute ?X ExecutiveLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN BusinessExecutive) (instance ?HUMAN Human) (stays ?HUMAN ?Y)))))))	Hotel.kif 1232-1244	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
(=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL))))	Hotel.kif 82-87	If an object is an instance of hotel, then there exists another object such that the other object is an instance of hotel room and the other object is a proper part of the object

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