RatingAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RatingAttribute SubjectiveAssessmentAttribute)	Hotel.kif 3013-3013	Rating attribute is a subclass of subjective assessment attribute
(documentation RatingAttribute EnglishLanguage "RatingAttribute attempts to quantify the subjective assessment of an Object using some scoring system. A RatingAttribute is created by an AutonomousAgent with some criteria in mind.")	Hotel.kif 3014-3016	Rating attribute is a subclass of subjective assessment attribute

appearance as argument number 2

(termFormat EnglishLanguage RatingAttribute "rating attribute")	Hotel.kif 3017-3017
(subclass HotelRating RatingAttribute)	Hotel.kif 3044-3044	Hotel rating is a subclass of rating attribute
(subclass RestaurantRating RatingAttribute)	Hotel.kif 3054-3054	Restaurant rating is a subclass of rating attribute
(subclass FoodRating RatingAttribute)	Hotel.kif 3064-3064	Food rating is a subclass of rating attribute
(subclass ServiceRating RatingAttribute)	Hotel.kif 3095-3095	Service rating is a subclass of rating attribute
(subclass AmbienceRating RatingAttribute)	Hotel.kif 3123-3123	Ambience rating is a subclass of rating attribute
(subclass PriceRating RatingAttribute)	Hotel.kif 3127-3127	Price rating is a subclass of rating attribute

appearance as argument number 3

(domain ratingsAgent 1 RatingAttribute)

antecedent

(=>
    (instance ?RATING RatingAttribute)
    (exists (?AGENT ?OBJ)
        (and
            (ratingsAgent ?RATING ?AGENT)
            (attribute ?OBJ ?RATING))))

If X is an instance of rating attribute, then there exist Y, Z such that Y creates rating X, and X is an attribute of Z