| 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 17994-17996 | |
| (subclass SportServe GameShot) | Mid-level-ontology.kif 17993-17993 | Sport serve is a subclass of game shot |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SportServe "体育服务") | domainEnglishFormat.kif 54777-54777 | |
| (termFormat ChineseTraditionalLanguage SportServe "體育服務") | domainEnglishFormat.kif 54776-54776 | |
| (termFormat EnglishLanguage SportServe "sport serve") | domainEnglishFormat.kif 54775-54775 |
| antecedent |
|
|
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17998-18004 |
|
|
|
|