| 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 |
|
|
|
|