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 |
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 |