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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotelLevelAttribute
HotelLevelAttribute(hotel level attribute)

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 Hotel level attribute is a subclass of relational attribute

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


(instance ClubLevel HotelLevelAttribute) Hotel.kif 1256-1256 Club level is an instance of hotel level attribute
(instance ExclusiveFemaleLevel HotelLevelAttribute) Hotel.kif 1238-1238 Female level is an instance of hotel level attribute
(instance ExecutiveLevel HotelLevelAttribute) Hotel.kif 1218-1218 Executive level is an instance of hotel level attribute
(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 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