Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - SportServe
SportServe(sport serve)ace, fault, let, net_ball, serve, service

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage SportServe "sport serve") domainEnglishFormat.kif 54739-54739
(termFormat ChineseTraditionalLanguage SportServe "體育服務") domainEnglishFormat.kif 54740-54740
(termFormat ChineseLanguage SportServe "体育服务") domainEnglishFormat.kif 54741-54741

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


(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))		 Mid-level-ontology.kif 18688-18694 If X is an instance of sport serve, then there exists Y such that Y is an instance of sport, X is a subprocess of Y, and the time of existence of X starts the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners