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 18870-18872
(subclass ServicePosition SkilledOccupation)	Mid-level-ontology.kif 18869-18869	ServicePosition è una sottoclasse di SkilledOccupation

appearance as argument number 2

(instance Concierge ServicePosition)	Hotel.kif 2409-2409	Concierge è un' istanza di ServicePosition
(instance Doorman ServicePosition)	Hotel.kif 2423-2423	Doorman è un' istanza di ServicePosition
(instance FlightSteward ServicePosition)	Mid-level-ontology.kif 30717-30717	FlightSteward è un' istanza di ServicePosition
(instance Maid ServicePosition)	Mid-level-ontology.kif 20624-20624	Maid è un' istanza di ServicePosition
(instance Porter ServicePosition)	Hotel.kif 2378-2378	Porter è un' istanza di ServicePosition
(instance Waiter ServicePosition)	Mid-level-ontology.kif 20591-20591	Waiter è un' istanza di ServicePosition
(subclass Valet ServicePosition)	TransportDetail.kif 123-123	Valet è una sottoclasse di ServicePosition
(termFormat ChineseLanguage ServicePosition "服务职位")	domainEnglishFormat.kif 52263-52263
(termFormat ChineseTraditionalLanguage ServicePosition "服務職位")	domainEnglishFormat.kif 52262-52262
(termFormat EnglishLanguage ServicePosition "service position")	domainEnglishFormat.kif 52261-52261

consequent

(=>
    (instance ?COMPANY Cafeteria)
    (not
        (exists (?PERSON)
            (occupiesPosition ?PERSON ServicePosition ?COMPANY))))

Mid-level-ontology.kif 7672-7676