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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServicePosition

Sigma KEE - ServicePosition
ServicePosition(service position)arouser, assist, attend, attend_to, attendant, attender, busboy, loader, matron_of_honor, racker, retainer, rouser, servant, serve, service_position, tender, wait_on, waiter's_assistant, waker

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


(documentation ServicePosition EnglishLanguage "Any Position which involves working as a waiter or servant, either for an Organization (e.g. a restaurant) or for a person or family.") Mid-level-ontology.kif 16510-16512
(subclass ServicePosition SkilledOccupation) Mid-level-ontology.kif 16509-16509 Service position is a subclass of skilled occupation

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


(instance Concierge ServicePosition) Hotel.kif 2350-2350 Concierge is an instance of service position
(instance Doorman ServicePosition) Hotel.kif 2364-2364 Doorman is an instance of service position
(instance Maid ServicePosition) Mid-level-ontology.kif 18282-18282 Maid is an instance of service position
(instance Porter ServicePosition) Hotel.kif 2319-2319 Porter is an instance of service position
(instance Waiter ServicePosition) Mid-level-ontology.kif 18250-18250 Waiter is an instance of service position
(subclass Valet ServicePosition) TransportDetail.kif 121-121 Valet is a subclass of service position
(termFormat EnglishLanguage ServicePosition "service position") domainEnglishFormat.kif 9134-9134 "service position" is the printable form of service position in english language

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


(=>
    (instance ?COMPANY Cafeteria)
    (not
        (exists (?PERSON)
            (occupiesPosition ?PERSON ServicePosition ?COMPANY))))
Mid-level-ontology.kif 7366-7370


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners