| 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 17093-17095 | |
| (subclass SportServe GameShot) | Mid-level-ontology.kif 17092-17092 | SportServe e' uma sub-classe de GameShot |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SportServe "体育服务") | domainEnglishFormat.kif 54746-54746 | |
| (termFormat ChineseTraditionalLanguage SportServe "體育服務") | domainEnglishFormat.kif 54745-54745 | |
| (termFormat EnglishLanguage SportServe "sport serve") | domainEnglishFormat.kif 54744-54744 |
| antecedent |
|
|
| (=> (instance ?SS SportServe) (exists (?S) (and (instance ?S Sport) (subProcess ?SS ?S) (starts (WhenFn ?SS) (WhenFn ?S))))) |
Mid-level-ontology.kif 17097-17103 |
|
|
|