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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TowerRoom
TowerRoom(tower room)

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


(documentation TowerRoom EnglishLanguage "TowerRoom describes a HotelUnit that is in the HighRise building of a (PropertyFn ?HOTEL)") Hotel.kif 1097-1098
(instance TowerRoom HotelRoomAttribute) Hotel.kif 1096-1096 Tower room is an instance of hotel room attribute

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


(termFormat EnglishLanguage TowerRoom "tower room") Hotel.kif 1099-1099

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


(=>
    (attribute ?ROOM TowerRoom)
    (exists (?BLDG)
        (and
            (instance ?BLDG HighRise)
            (located ?ROOM ?BLDG))))
Hotel.kif 1101-1106


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