ServicePosition - Sigma Knowledge base Browser

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 16598-16600
(subclass ServicePosition SkilledOccupation)	Mid-level-ontology.kif 16597-16597	Service position is a subclass of skilled occupation

appearance as argument number 2

(instance Concierge ServicePosition)	Hotel.kif 2355-2355	Concierge is an instance of service position
(instance Doorman ServicePosition)	Hotel.kif 2369-2369	Doorman is an instance of service position
(instance Maid ServicePosition)	Mid-level-ontology.kif 18283-18283	Maid is an instance of service position
(instance Porter ServicePosition)	Hotel.kif 2324-2324	Porter is an instance of service position
(instance Waiter ServicePosition)	Mid-level-ontology.kif 18251-18251	Waiter is an instance of service position
(subclass Valet ServicePosition)	TransportDetail.kif 123-123	Valet is a subclass of service position
(termFormat ChineseLanguage ServicePosition "服务职位")	domainEnglishFormat.kif 52201-52201	"服务职位" is the printable form of service position in ChineseLanguage
(termFormat ChineseTraditionalLanguage ServicePosition "服務職位")	domainEnglishFormat.kif 52200-52200	"服務職位" is the printable form of service position in ChineseTraditionalLanguage
(termFormat EnglishLanguage ServicePosition "service position")	domainEnglishFormat.kif 52199-52199	"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 7367-7371