|
|
   SportServe
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SportServe EnglishLanguage "A GameShot which is part of a Sport and which serves to start the Sport, e.g. the beginning shot in Tennis, Badminton or Squash.") | Mid-level-ontology.kif 17065-17067 | |
| (subclass SportServe GameShot) | Mid-level-ontology.kif 17064-17064 | 体育服务 是 游戏镜头 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SportServe "体育服务") | domainEnglishFormat.kif 54744-54744 | |
| (termFormat ChineseTraditionalLanguage SportServe "體育服務") | domainEnglishFormat.kif 54743-54743 | |
| (termFormat EnglishLanguage SportServe "sport serve") | domainEnglishFormat.kif 54742-54742 |
| antecedent |
|
|
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17069-17075 |
|
|
|