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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelLevelAttribute

Sigma KEE - HotelLevelAttribute
HotelLevelAttribute

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


(documentation HotelLevelAttribute EnglishLanguage "HotelLevelAttribute are attributes that describe certain BuildingLevels in a HotelBuilding") Hotel.kif 1204-1205
(subclass HotelLevelAttribute RelationalAttribute) Hotel.kif 1203-1203

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


(instance ClubLevel HotelLevelAttribute) Hotel.kif 1256-1256
(instance ExclusiveFemaleLevel HotelLevelAttribute) Hotel.kif 1238-1238
(instance ExecutiveLevel HotelLevelAttribute) Hotel.kif 1218-1218
(termFormat EnglishLanguage HotelLevelAttribute "hotel level attribute") domainEnglishFormat.kif 64992-64992

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelLevelAttribute))
    (and
        (instance ?X BuildingLevel)
        (exists (?BLDG)
            (and
                (instance ?BLDG HotelBuilding)
                (part ?X ?BLDG)))))
Hotel.kif 1207-1216


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 is open source software produced by Articulate Software and its partners