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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThemeRoom
ThemeRoom(theme room)theme_room

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


(documentation ThemeRoom EnglishLanguage "ThemeRoom describes a HotelUnit that follows a certain style or theme of decor, for instance, a Disney-themed room would have decor that represent creations from Disney") Hotel.kif 1040-1042
(instance ThemeRoom HotelRoomAttribute) Hotel.kif 1039-1039 Theme room is an instance of hotel room attribute

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


(termFormat EnglishLanguage ThemeRoom "theme room") Hotel.kif 1043-1043 "theme room" is the printable form of theme room in english language

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


(=>
    (attribute ?ROOM ThemeRoom)
    (exists (?DESIGN ?PROP)
        (and
            (instance ?DESIGN Designing)
            (result ?DESIGN ?PROP)
            (represents ?ROOM ?PROP))))
Hotel.kif 1045-1051


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners