| 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 1337-1339 | |
| (subclass OlympicGames Sport) | Sports.kif 1336-1336 | OlympicGames est une sous-classe de 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 1340-1350 |
|
|
|
|