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

KB Term:  Term intersection
English Word: 

Sigma KEE - OlympicGames
OlympicGames(olympic games)Olympiad, Olympian_Games, Olympic_Games, Olympics, Winter_Olympic_Games, Winter_Olympics

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


(subclass OlympicGames Sport) Sports.kif 1364-1364 Olympic games is a subclass of sport
(documentation OlympicGames EnglishLanguage "A sports event where athletes from various countries compete against one another. The Olympics are now held every two years, either in the winter or the summer.") Sports.kif 1365-1367 Olympic games is a subclass of sport

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


(termFormat EnglishLanguage OlympicGames "olympic games") domainEnglishFormat.kif 42071-42071
(termFormat ChineseTraditionalLanguage OlympicGames "奧運會") domainEnglishFormat.kif 42072-42072
(termFormat ChineseLanguage OlympicGames "奥运会") domainEnglishFormat.kif 42073-42073

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


(=>
    (instance ?O OlympicGames)
    (or
        (exists (?W)
            (and
                (instance ?W WinterSeason)
                (temporalPart
                    (WhenFn ?O) ?W)))
        (exists (?S)
            (and
                (instance ?S SummerSeason)
                (temporalPart
                    (WhenFn ?O) ?S)))))		 Sports.kif 1368-1378 If X is an instance of olympic games, then there exists Y such that Y is an instance of winter season and the time of existence of X is a part of Y or there exists Z such that Z is an instance of summer season and the time of existence of X is a part of Z


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners