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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Judging
Judging
appraise, assess, compromise_verdict, conclusion_of_law, convert, evaluate, finding_of_law, judgement, judging, judgment, measure, standardise, standardize, valuate, value

appearance as argument number 1
-------------------------


s__documentation(s__Judging,s__ChineseLanguage,'这是 Selecting 过程的子类别,这法生在当 agent 从一组可以由他/她自由决定的多种可能性的意见中,选择一套想法时。')

Merge.kif 11948-11949
s__documentation(s__Judging,s__EnglishLanguage,'The subclass of Selecting where the agent opts for one belief out of a set of multiple possibilities that are available to him/her.')

Merge.kif 11945-11947
s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/7/71/Centre_Line_Judge.JPG')

pictureList.kif 4914-4914
s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/a/a4/American_judge.jpg')

pictureList.kif 5036-5036
s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/e/ef/RAS_judging.JPG')

pictureList.kif 5035-5035
s__externalImage(s__Judging,'http://upload.wikimedia.org/wikipedia/commons/f/ff/German_Shepherds_WKC_dogshow.jpg')

pictureList.kif 5034-5034
s__instance(s__Judging,s__SetOrClass)

Merge.kif 11944-11944

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


s__instance(s__IntelligenceActivities,s__SetOrClass)

MilitaryProcesses.kif 222-222
s__termFormat(s__EnglishLanguage,s__Judging,'judging')

domainEnglishFormat.kif 5725-5725

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11951-11958

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17644-17657
( ! [V__X,V__JUDGE] :
   ((s__subjectiveAttribute(V__X,s__Won,V__JUDGE)
     &
     s__instance(V__X,s__FoodForFn(s__Human)))
=>
(? [V__CONTEST,V__AGENT,V__PROC] :
   (s__contestObject(V__CONTEST,V__X,V__AGENT)
   &
   s__instance(V__PROC,s__Judging) &
   s__agent(V__PROC,V__JUDGE)
&
s__subProcess(V__PROC,V__CONTEST))))
)

Dining.kif 857-866
( ! [V__ENT,V__AGENT,V__CONT] :
   (s__contestEntry(V__ENT,V__AGENT,V__CONT)
   =>
   (? [V__P,V__J] :
     (s__instance(V__P,s__IntentionalProcess) &
       s__agent(V__P,V__AGENT)
     &
     s__result(V__P,V__ENT)
   &
   s__instance(V__J,s__Judging) &
   s__patient(V__J,V__ENT))))
)

Music.kif 1082-1090
No TPTP formula. May not be expressible in strict first order. Dining.kif 840-853
( ! [V__CONTEST] :
   (s__instance(V__CONTEST,s__MusicContest) =>
     (? [V__J] :
       (s__instance(V__J,s__Judging) &
         (! [V__A] :
           (s__contestParticipant(V__CONTEST,V__A)
           =>
           (? [V__MM] :
             (s__agent(V__MM,V__A)
             &
             s__instance(V__MM,s__MakingMusic) &
             s__subProcess(V__MM,V__CONTEST)
           &
           s__patient(V__J,V__MM))))))))
)

Music.kif 1005-1018
( ! [V__CONTEST] :
   (s__instance(V__CONTEST,s__SingingContest) =>
     (? [V__J] :
       (s__instance(V__J,s__Judging) &
         (! [V__A] :
           (s__contestParticipant(V__CONTEST,V__A)
           =>
           (? [V__MV] :
             (s__agent(V__MV,V__A)
             &
             s__instance(V__MV,s__Singing) &
             s__subProcess(V__MV,V__CONTEST)
           &
           s__patient(V__J,V__MV))))))))
)

Music.kif 1025-1038


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners