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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ratingsAgent
ratingsAgent

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


(documentation ratingsAgent EnglishLanguage "(ratingsAgent ?RATING ?AGENT) means that ?AGENT went through some Classifying process in order to create RatingAttribute ?RATING.") Hotel.kif 3012-3013
(domain ratingsAgent 1 RatingAttribute) Hotel.kif 3014-3014 Le nombre 1 argument de ratingsAgent est une instance de RatingAttribute
(domain ratingsAgent 2 AutonomousAgent) Hotel.kif 3015-3015 Le nombre 2 argument de ratingsAgent est une instance de AutonomousAgent
(instance ratingsAgent BinaryPredicate) Hotel.kif 3011-3011 ratingsAgent est une instance de pr�dicat binaire

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


(format ChineseLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4330-4330
(format ChineseTraditionalLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4329-4329
(format EnglishLanguage ratingsAgent "%2 creates rating %1") domainEnglishFormat.kif 4328-4328
(termFormat EnglishLanguage ratingsAgent "ratings agent") domainEnglishFormat.kif 65918-65918

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


(=>
    (ratingsAgent ?RATING ?AGENT)
    (exists (?PROCESS ?OBJ)
        (and
            (instance ?PROCESS Classifying)
            (agent ?PROCESS ?AGENT)
            (destination ?PROCESS ?OBJ)
            (result ?PROCESS ?RATING))))
Hotel.kif 3017-3024

consequent
-------------------------


(=>
    (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