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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RatingAttribute
RatingAttribute

appearance as argument number 1
-------------------------


(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 2996-2998
(subclass RatingAttribute SubjectiveAssessmentAttribute) Hotel.kif 2995-2995 RatingAttribute ist eine teilkategorie von SubjectiveAssessmentAttribute

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


(subclass AmbienceRating RatingAttribute) Hotel.kif 3105-3105 AmbienceRating ist eine teilkategorie von RatingAttribute
(subclass FoodRating RatingAttribute) Hotel.kif 3046-3046 FoodRating ist eine teilkategorie von RatingAttribute
(subclass HotelRating RatingAttribute) Hotel.kif 3026-3026 HotelRating ist eine teilkategorie von RatingAttribute
(subclass PriceRating RatingAttribute) Hotel.kif 3109-3109 PriceRating ist eine teilkategorie von RatingAttribute
(subclass RestaurantRating RatingAttribute) Hotel.kif 3036-3036 RestaurantRating ist eine teilkategorie von RatingAttribute
(subclass ServiceRating RatingAttribute) Hotel.kif 3077-3077 ServiceRating ist eine teilkategorie von RatingAttribute
(termFormat EnglishLanguage RatingAttribute "rating attribute") Hotel.kif 2999-2999

appearance as argument number 3
-------------------------


(domain ratingsAgent 1 RatingAttribute) Hotel.kif 3014-3014 Die Zahl 1 Argument von ratingsAgent ist ein fall von RatingAttribute %n{nicht}

antecedent
-------------------------


(=>
    (instance ?RATING RatingAttribute)
    (exists (?AGENT ?OBJ)
        (and
            (ratingsAgent ?RATING ?AGENT)
            (attribute ?OBJ ?RATING))))
Hotel.kif 3003-3008


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