| SportServe(sport serve) | | ace, fault, let, net_ball, serve, service |
| 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 17284-17286 | |
| (subclass SportServe GameShot) | Mid-level-ontology.kif 17283-17283 | Sport serve is a subclass of game shot |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SportServe "体育服务") | domainEnglishFormat.kif 54784-54784 | |
| (termFormat ChineseTraditionalLanguage SportServe "體育服務") | domainEnglishFormat.kif 54783-54783 | |
| (termFormat EnglishLanguage SportServe "sport serve") | domainEnglishFormat.kif 54782-54782 |
| antecedent |
|
|
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17288-17294 |
|
|
|
|