OlympicGames(olympic games) | ![]() | Olympiad, Olympian_Games, Olympic_Games, Olympics, Winter_Olympic_Games, Winter_Olympics |
appearance as argument number 1 |
![]() |
(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 1339-1341 | |
(subclass OlympicGames Sport) | Sports.kif 1338-1338 | Olympic games is a subclass of sport |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage OlympicGames "奥运会") | domainEnglishFormat.kif 42103-42103 | |
(termFormat ChineseTraditionalLanguage OlympicGames "奧運會") | domainEnglishFormat.kif 42102-42102 | |
(termFormat EnglishLanguage OlympicGames "olympic games") | domainEnglishFormat.kif 42101-42101 |
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 1342-1352 |
|
![]() |
![]() |