Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SportServe
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 16509-16511
(subclass SportServe GameShot) Mid-level-ontology.kif 16508-16508 Sport serve is a subclass of game shot

appearance as argument number 2

(termFormat ChineseLanguage SportServe "体育服务") domainEnglishFormat.kif 54723-54723
(termFormat ChineseTraditionalLanguage SportServe "體育服務") domainEnglishFormat.kif 54722-54722
(termFormat EnglishLanguage SportServe "sport serve") domainEnglishFormat.kif 54721-54721


    (instance ?SS SportServe)
    (exists (?S)
            (instance ?S Sport)
            (subProcess ?SS ?S)
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 16513-16519

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners