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 985-987
(instance StandardRoom HotelRoomAttribute) Hotel.kif 984-984 Standard room is an instance of hotel room attribute
(successorAttribute StandardRoom DeluxeRoom) Hotel.kif 995-995 Standard room is an immediate successor attribute of deluxe room
(successorAttributeClosure StandardRoom Suite) Hotel.kif 989-989 Standard room is a successor attribute of suite

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


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


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