OlympicGames(奧運會) |
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 | 子類 奧運會 and Sport |
appearance as argument number 2 |
(termFormat ChineseLanguage OlympicGames "奥运会") | domainEnglishFormat.kif 42072-42072 | |
(termFormat ChineseTraditionalLanguage OlympicGames "奧運會") | domainEnglishFormat.kif 42071-42071 | |
(termFormat EnglishLanguage OlympicGames "olympic games") | domainEnglishFormat.kif 42070-42070 |
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 |
|