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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceRating
ServiceRating(service rating)

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


(documentation ServiceRating EnglishLanguage "ServiceRating is a SubjectiveAssessmentAttribute specifically targeted at the overall quality of service given by an agent") Hotel.kif 3089-3090
(subclass ServiceRating RatingAttribute) Hotel.kif 3088-3088 Service rating is a subclass of rating attribute

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


(termFormat EnglishLanguage ServiceRating "service rating") domainEnglishFormat.kif 65498-65498

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


(=>
    (and
        (subjectiveAttribute ?ENTITY ?ATTR ?AGENT)
        (instance ?ATTR ServiceRating)
        (instance ?ENTITY AutonomousAgent))
    (exists (?SVC ?CLASSIFY)
        (and
            (instance ?SVC ServiceProcess)
            (agent ?SVC ?ENTITY)
            (instance ?CLASSIFY Classifying)
            (agent ?CLASSIFY ?AGENT)
            (destination ?CLASSIFY ?SVC)
            (patient ?CLASSIFY ?ATTR))))		 Hotel.kif 3102-3114
(=>
    (instance ?RATING ServiceRating)
    (hasPurpose ?RATING
        (exists (?C ?S)
            (and
                (instance ?C Classifying)
                (destination ?C ?S)
                (patient ?C ?RATING)
                (instance ?S ServiceProcess)))))		 Hotel.kif 3092-3100


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