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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SportServe

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

antecedent
-------------------------


(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (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