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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20521-20522
(subclass Serving Working) Mid-level-ontology.kif 20520-20520

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 26888-26895
(=>
    (holdsDuring ?T1
        (attribute ?MAID Maid))
    (exists (?SERVE)
        (and
            (during
                (WhenFn ?SERVE) ?T1)
            (instance ?SERVE Serving)
            (agent ?SERVE ?MAID))))
Mid-level-ontology.kif 20633-20639


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