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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StandardRoom
StandardRoom(standard room)

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


(documentation StandardRoom EnglishLanguage "StandardRoom describes the most basic room type offered by the hotel. It is mean to describe a room in relation to other rooms in the same hotel as opposed to the same type of room in a different hotel") Hotel.kif 993-995
(instance StandardRoom HotelRoomAttribute) Hotel.kif 992-992 Standard room is an instance of hotel room attribute
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 1003-1003 Standard room is an immediate successor attribute of deluxe room
(successorAttributeClosure StandardRoom Suite) Hotel.kif 997-997 Standard room is a successor attribute of suite

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


(termFormat EnglishLanguage StandardRoom "standard room") Hotel.kif 996-996


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