Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotelBuilding
HotelBuilding(hotel)auberge, hostel, hostelry, hotel, inn, lodge

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


(documentation HotelBuilding EnglishLanguage "A ResidentialBuilding which provides temporary accommodations to guests in exchange for money.") Hotel.kif 78-79
(subclass HotelBuilding ResidentialBuilding) Hotel.kif 77-77 Hotel is a subclass of residential building

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


(termFormat EnglishLanguage HotelBuilding "hotel") Hotel.kif 80-80

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


(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))
Hotel.kif 82-87

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1207-1216
(=>
    (instance ?ROOM HotelRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HotelBuilding)
            (part ?ROOM ?BLDG))))
Hotel.kif 125-130


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