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 HotelLevelAttribute est une sous-classe de attribut relationnel

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


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

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