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 17066-17068
(subclass SportServe GameShot) Mid-level-ontology.kif 17065-17065 Sport serve is a subclass of game shot

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage SportServe "体育服务") domainEnglishFormat.kif 54744-54744
(termFormat ChineseTraditionalLanguage SportServe "體育服務") domainEnglishFormat.kif 54743-54743
(termFormat EnglishLanguage SportServe "sport serve") domainEnglishFormat.kif 54742-54742

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


(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 17070-17076


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



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