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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotelBuilding
HotelBuilding

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


(documentation HotelBuilding EnglishLanguage "A ResidentialBuilding which provides temporary accommodations to guests in exchange for money.") Hotel.kif 73-74
(subclass HotelBuilding ResidentialBuilding) Hotel.kif 72-72

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


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

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


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

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1185-1194
(=>
    (instance ?ROOM HotelRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HotelBuilding)
            (part ?ROOM ?BLDG))))
Hotel.kif 120-125


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