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 18871-18873
(subclass ServicePosition SkilledOccupation)	Mid-level-ontology.kif 18870-18870	ServicePosition は SkilledOccupation の subclass では %n

appearance as argument number 2

(instance Concierge ServicePosition)	Hotel.kif 2409-2409	Concierge は ServicePosition の instance では %n
(instance Doorman ServicePosition)	Hotel.kif 2423-2423	Doorman は ServicePosition の instance では %n
(instance FlightSteward ServicePosition)	Mid-level-ontology.kif 30729-30729	FlightSteward は ServicePosition の instance では %n
(instance Maid ServicePosition)	Mid-level-ontology.kif 20625-20625	Maid は ServicePosition の instance では %n
(instance Porter ServicePosition)	Hotel.kif 2378-2378	Porter は ServicePosition の instance では %n
(instance Waiter ServicePosition)	Mid-level-ontology.kif 20592-20592	Waiter は ServicePosition の instance では %n
(subclass Valet ServicePosition)	TransportDetail.kif 123-123	Valet は ServicePosition の subclass では %n
(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 7673-7677