roomAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(instance roomAttribute BinaryPredicate)	Hotel.kif 455-455	room attribute is an instance of binary predicate
(documentation roomAttribute EnglishLanguage "(roomAttribute ?ROOM ?ATTR) means that all instances of HotelUnit ?ROOM has attribute ?ATTR")	Hotel.kif 456-457	room attribute is an instance of binary predicate
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 460-460	The number 1 argument of room attribute is a subclass of hotel unit
(domain roomAttribute 2 RelationalAttribute)	Hotel.kif 461-461	The number 2 argument of room attribute is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage roomAttribute "room attribute")	Hotel.kif 458-458
(format EnglishLanguage roomAttribute "%2 is an attribute of %1")	domainEnglishFormat.kif 4444-4444
(format ChineseTraditionalLanguage roomAttribute "%2 是 %1 的 attribute ")	domainEnglishFormat.kif 4445-4445
(format ChineseLanguage roomAttribute "%2 是 %1 的 attribute ")	domainEnglishFormat.kif 4446-4446

antecedent

(=>
    (roomAttribute ?ROOM ?ATTR)
    (forall (?R)
        (=>
            (instance ?R ?ROOM)
            (attribute ?R ?ATTR))))

If X is an attribute of Y, then For all Object Z: if Z is an instance of Y, then X is an attribute of Z