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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Serving

Sigma KEE - Serving
Serving

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


(documentation Serving EnglishLanguage "Working as a waiter or servant, either for an Organization (e.g. a Restaurant) or for a person or family.") Mid-level-ontology.kif 20548-20549
(subclass Serving Working) Mid-level-ontology.kif 20547-20547

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


(termFormat ChineseLanguage Serving "服务") domainEnglishFormat.kif 52307-52307
(termFormat ChineseTraditionalLanguage Serving "服務") domainEnglishFormat.kif 52306-52306
(termFormat EnglishLanguage Serving "serving") domainEnglishFormat.kif 52305-52305

consequent
-------------------------


(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 26921-26928
(=>
    (holdsDuring ?T1
        (attribute ?MAID Maid))
    (exists (?SERVE)
        (and
            (during
                (WhenFn ?SERVE) ?T1)
            (instance ?SERVE Serving)
            (agent ?SERVE ?MAID))))
Mid-level-ontology.kif 20660-20666


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