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

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


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

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