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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 HotelLevelAttribute关联属性subclass

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


(instance ClubLevel HotelLevelAttribute) Hotel.kif 1256-1256 ClubLevelHotelLevelAttributeinstance
(instance ExclusiveFemaleLevel HotelLevelAttribute) Hotel.kif 1238-1238 ExclusiveFemaleLevelHotelLevelAttributeinstance
(instance ExecutiveLevel HotelLevelAttribute) Hotel.kif 1218-1218 ExecutiveLevelHotelLevelAttributeinstance
(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