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 Deciding process in order to create RatingAttribute ?RATING.") Hotel.kif 3010-3011
(domain ratingsAgent 1 RatingAttribute) Hotel.kif 3012-3012 ratingsAgent 的 1 数量 是 RatingAttributeinstance
(domain ratingsAgent 2 AutonomousAgent) Hotel.kif 3013-3013 ratingsAgent 的 2 数量 是 施事体instance
(instance ratingsAgent BinaryPredicate) Hotel.kif 3009-3009 ratingsAgent二元谓语instance

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


(format ChineseLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4334-4334
(format ChineseTraditionalLanguage ratingsAgent "%2 creates rating %1 ") domainEnglishFormat.kif 4333-4333
(format EnglishLanguage ratingsAgent "%2 creates rating %1") domainEnglishFormat.kif 4332-4332
(termFormat EnglishLanguage ratingsAgent "ratings agent") domainEnglishFormat.kif 66022-66022

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


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

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


(=>
    (instance ?RATING RatingAttribute)
    (exists (?AGENT)
        (ratingsAgent ?RATING ?AGENT)))
Hotel.kif 3003-3006


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