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 20520-20521
(subclass Serving Working) Mid-level-ontology.kif 20519-20519 服务工作的subclass

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


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

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


(=>
    (attribute ?P Bartender)
    (exists (?S ?B)
        (and
            (instance ?S Serving)
            (instance ?B AlcoholicBeverage)
            (agent ?S ?P)
            (patient ?S ?B))))
Mid-level-ontology.kif 26876-26883
(=>
    (holdsDuring ?T1
        (attribute ?MAID Maid))
    (exists (?SERVE)
        (and
            (during
                (WhenFn ?SERVE) ?T1)
            (instance ?SERVE Serving)
            (agent ?SERVE ?MAID))))
Mid-level-ontology.kif 20632-20638


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