AnnexRoom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnnexRoom EnglishLanguage "AnnexRoom is a HotelRoom that is not located in the main building of a hotel, or the building of the hotel that has the HotelFrontDesk")	Hotel.kif 1122-1124
(instance AnnexRoom HotelRoomAttribute)	Hotel.kif 1121-1121	Annex room is an instance of hotel room attribute

appearance as argument number 2

(termFormat EnglishLanguage AnnexRoom "annex room")

Hotel.kif 1125-1125

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 1127-1140

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 the other object is not equal to the third 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

KB Term:			Term intersection

English Word: