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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ratingsAgent

 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
(domain ratingsAgent 2 AutonomousAgent) Hotel.kif 3015-3015
(instance ratingsAgent BinaryPredicate) Hotel.kif 3011-3011

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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