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



KB Term:  Term intersection
English Word: 

  LeftLung

Sigma KEE - StandardRoom
StandardRoom(standard room)

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners