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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GameCall
GameCall
more pictures...

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
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/4/ 44/ Boarding.png") pictureList.kif 3092-3092
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 62/ Yellow_card_handball.jpg") pictureList.kif 3096-3096
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Delayofgame.gif") pictureList.kif 3088-3088
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Penaltyshot.png") pictureList.kif 3089-3089
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Delayedpenalty.png") pictureList.kif 3093-3093
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/9/ 98/ Referee_hockey_ahl_2004.jpg") pictureList.kif 2956-2956
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ DEL-Schiri_Rick_Looker_2006-1.JPG") pictureList.kif 3091-3091
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Assistant_referee_15abr2007.jpg") pictureList.kif 3086-3086
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ 2_Minutes_Suspension.jpg") pictureList.kif 3095-3095
(externalImage GameCall "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Penalty.png") pictureList.kif 3094-3094
(subclass GameCall Deciding) Mid-level-ontology.kif 13921-13921
(subclass GameCall Declaring) Mid-level-ontology.kif 13922-13922

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


(termFormat ChineseLanguage GameCall "比赛电话") domainEnglishFormat.kif 25381-25381
(termFormat ChineseTraditionalLanguage GameCall "比賽電話") domainEnglishFormat.kif 25380-25380
(termFormat EnglishLanguage GameCall "game call") domainEnglishFormat.kif 25379-25379

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