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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SportServe
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


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