Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass HotelRoom Room) Hotel.kif 119-119 Hotel room is a subclass of room
(subclass HotelRoom HotelUnit) Hotel.kif 120-120 Hotel room is a subclass of hotel unit
(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 Hotel room is a subclass of hotel unit

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


(termFormat EnglishLanguage HotelRoom "hotel room") Hotel.kif 123-123
(subclass QueenBedRoom HotelRoom) TravelPolicies.kif 1077-1077 QueenBedRoom is a subclass of hotel room
(subclass KingBedRoom HotelRoom) TravelPolicies.kif 1078-1078 KingBedRoom is a subclass of hotel room
(subclass SuiteRoom HotelRoom) TravelPolicies.kif 1096-1096 SuiteRoom is a subclass of hotel room
(subclass DoubleRoom HotelRoom) TravelPolicies.kif 1097-1097 DoubleRoom is a subclass of hotel room

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


(=>
    (instance ?ROOM HotelRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HotelBuilding)
            (part ?ROOM ?BLDG))))		 Hotel.kif 125-130 If X is an instance of hotel room, then there exists Y such that Y is an instance of hotel and X is a part of Y
(=>
    (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 X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W

consequent
-------------------------


(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))		 Hotel.kif 82-87 If X is an instance of hotel, then there exists Y such that Y is an instance of hotel room and Y is a proper part of X
(=>
    (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 X and X is an instance of hotel unit, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hotel room (3) Z is an instance of hotel room (4) Y is inside the to X (5) Z is inside the to X (6) equal Y (7) Z
(=>
    (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 X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that business executive is an attribute of Z, Z is an instance of human, and Z stays at Y
(=>
    (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 X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that female is an attribute of Z and Z stays at Y
(=>
    (instance ?QB QueenBedRoom)
    (exists (?B)
        (and
            (instance ?QB HotelRoom)
            (instance ?B QueenBed)
            (located ?B ?QB))))		 TravelPolicies.kif 1080-1086 If X is an instance of QueenBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of queen-sized bed, and Y is located at X
(=>
    (instance ?KB KingBedRoom)
    (exists (?B)
        (and
            (instance ?KB HotelRoom)
            (instance ?B KingBed)
            (located ?B ?KB))))		 TravelPolicies.kif 1088-1094 If X is an instance of KingBedRoom, then there exists Y such that X is an instance of hotel room, Y is an instance of king-sized bed, and Y is located at X
(=>
    (instance ?DR DoubleRoom)
    (exists (?B ?B1 ?B2)
        (or
            (and
                (instance ?B DoubleBed)
                (instance ?DR HotelRoom)
                (located ?B ?DR))
            (and
                (instance ?B1 SingleBed)
                (instance ?B2 SingleBed)
                (instance ?DR HotelRoom)
                (located ?B1 ?DR)
                (located ?B2 ?DR)))))		 TravelPolicies.kif 1101-1114 If X is an instance of DoubleRoom, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of full-sized bed (3) X is an instance of hotel room (4) Y is located at X or Z is an instance of twin-sized bed (5) W is an instance of twin-sized bed (6) X is an instance of hotel room (7) Z is located at X (8) W is located at X


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