| 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 1338-1340 | |
| (subclass OlympicGames Sport) | Sports.kif 1337-1337 | Olympic games is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OlympicGames "奥运会") | domainEnglishFormat.kif 42110-42110 | |
| (termFormat ChineseTraditionalLanguage OlympicGames "奧運會") | domainEnglishFormat.kif 42109-42109 | |
| (termFormat EnglishLanguage OlympicGames "olympic games") | domainEnglishFormat.kif 42108-42108 |
| 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 1341-1351 |
|
|
|
|