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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GameCall
GameCall(game call)
more pictures...
call, game_call, officiating, officiation, refereeing, umpirage, 比賽電話, 比赛电话

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


(documentation GameCall EnglishLanguage "A decision issued by an official referee in a Game. Note that GameCall is a subclass of Declaring, because these decisions have binding, normative force.") Mid-level-ontology.kif 13923-13925
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/3/ 31/ Delayedpenalty.gif") pictureList.kif 3087-3087 "http://upload.wikimedia.org/wikipedia/commons/3/31/ Delayedpenalty.gif" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Boarding.png") pictureList.kif 3092-3092 "http://upload.wikimedia.org/wikipedia/commons/4/44/ Boarding.png" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 62/ Yellow_card_handball.jpg") pictureList.kif 3096-3096 "http://upload.wikimedia.org/wikipedia/commons/6/62/ Yellow_card_handball.jpg" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Delayofgame.gif") pictureList.kif 3088-3088 "http://upload.wikimedia.org/wikipedia/commons/6/63/ Delayofgame.gif" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Penaltyshot.png") pictureList.kif 3089-3089 "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Penaltyshot.png" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Delayedpenalty.png") pictureList.kif 3093-3093 "http://upload.wikimedia.org/wikipedia/commons/8/89/ Delayedpenalty.png" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/9/ 98/ Referee_hockey_ahl_2004.jpg") pictureList.kif 2956-2956 "http://upload.wikimedia.org/wikipedia/commons/9/98/ Referee_hockey_ahl_2004.jpg" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ DEL-Schiri_Rick_Looker_2006-1.JPG") pictureList.kif 3091-3091 "http://upload.wikimedia.org/wikipedia/commons/d/d6/ DEL-Schiri_Rick_Looker_2006-1.JPG" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Assistant_referee_15abr2007.jpg") pictureList.kif 3086-3086 "http://upload.wikimedia.org/wikipedia/commons/e/e6/ Assistant_referee_15abr2007.jpg" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ 2_Minutes_Suspension.jpg") pictureList.kif 3095-3095 "http://upload.wikimedia.org/wikipedia/commons/f/f1/ 2_Minutes_Suspension.jpg" is a URL depicting game call
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Penalty.png") pictureList.kif 3094-3094 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Penalty.png" is a URL depicting game call
(subclass GameCall Deciding) Mid-level-ontology.kif 13921-13921 Game call is a subclass of deciding
(subclass GameCall Declaring) Mid-level-ontology.kif 13922-13922 Game call is a subclass of declaring

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


(termFormat ChineseLanguage GameCall "比赛电话") domainEnglishFormat.kif 25381-25381 "比赛电话" is the printable form of game call in ChineseLanguage
(termFormat ChineseTraditionalLanguage GameCall "比賽電話") domainEnglishFormat.kif 25380-25380 "比賽電話" is the printable form of game call in ChineseTraditionalLanguage
(termFormat EnglishLanguage GameCall "game call") domainEnglishFormat.kif 25379-25379 "game call" is the printable form of game call in english language

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


(=>
    (instance ?CALL GameCall)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (refers ?CALL ?GAME))))
Mid-level-ontology.kif 13927-13932


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