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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ratingsAgent

appearance as argument number 1

(documentation ratingsAgent EnglishLanguage "(ratingsAgent ?RATING ?AGENT) means that ?AGENT went through some Deciding process in order to create RatingAttribute ?RATING.") Hotel.kif 2977-2978
(domain ratingsAgent 1 RatingAttribute) Hotel.kif 2979-2979 domain ratingsAgent, 1 and RatingAttribute
(domain ratingsAgent 2 Agent) Hotel.kif 2980-2980 domain ratingsAgent, 2 and Agent
(instance ratingsAgent BinaryPredicate) Hotel.kif 2976-2976 instance ratingsAgent and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4339-4339
(format ChineseTraditionalLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4338-4338
(format EnglishLanguage ratingsAgent "%2 creates rating %1") domainEnglishFormat.kif 4337-4337


    (ratingsAgent ?RATING ?AGENT)
    (exists (?PROCESS)
            (instance ?PROCESS Deciding)
            (agent ?PROCESS ?AGENT)
            (result ?PROCESS ?RATING))))
Hotel.kif 2982-2988


    (instance ?RATING RatingAttribute)
    (exists (?AGENT)
        (ratingsAgent ?RATING ?AGENT)))
Hotel.kif 2970-2973

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