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 ratingsAgent の数値 1 引数は RatingAttributeinstance では %n
(domain ratingsAgent 2 AutonomousAgent) Hotel.kif 3015-3015 ratingsAgent の数値 2 引数は AutonomousAgentinstance では %n
(instance ratingsAgent BinaryPredicate) Hotel.kif 3011-3011 ratingsAgent2進述語instance では %n

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