TreeView Knowledge Base Browser

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 2951-2952
(domain ratingsAgent 1 RatingAttribute)	Hotel.kif 2953-2953
(domain ratingsAgent 2 Agent)	Hotel.kif 2954-2954
(instance ratingsAgent BinaryPredicate)	Hotel.kif 2950-2950

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

consequent

(=>
    (instance ?RATING RatingAttribute)
    (exists (?AGENT)
        (ratingsAgent ?RATING ?AGENT)))

Hotel.kif 2944-2947

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: