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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AppraisalAsExpected

 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 3023-3024
(domain ratingsAgent 1 RatingAttribute) Hotel.kif 3025-3025
(domain ratingsAgent 2 AutonomousAgent) Hotel.kif 3026-3026
(instance ratingsAgent BinaryPredicate) Hotel.kif 3022-3022

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

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


(=>
    (ratingsAgent ?RATING ?AGENT)
    (exists (?PROCESS ?OBJ)
        (and
            (instance ?PROCESS Classifying)
            (agent ?PROCESS ?AGENT)
            (destination ?PROCESS ?OBJ)
            (result ?PROCESS ?RATING))))		 Hotel.kif 3028-3035

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


(=>
    (instance ?RATING RatingAttribute)
    (exists (?AGENT ?OBJ)
        (and
            (ratingsAgent ?RATING ?AGENT)
            (attribute ?OBJ ?RATING))))		 Hotel.kif 3014-3019


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