TreeView 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 18898-18900
(subclass ServicePosition SkilledOccupation)	Mid-level-ontology.kif 18897-18897	ServicePosition e' uma sub-classe de SkilledOccupation

appearance as argument number 2

(instance Concierge ServicePosition)	Hotel.kif 2409-2409	Concierge e' uma instancia de ServicePosition
(instance Doorman ServicePosition)	Hotel.kif 2423-2423	Doorman e' uma instancia de ServicePosition
(instance FlightSteward ServicePosition)	Mid-level-ontology.kif 30753-30753	FlightSteward e' uma instancia de ServicePosition
(instance Maid ServicePosition)	Mid-level-ontology.kif 20652-20652	Maid e' uma instancia de ServicePosition
(instance Porter ServicePosition)	Hotel.kif 2378-2378	Porter e' uma instancia de ServicePosition
(instance Waiter ServicePosition)	Mid-level-ontology.kif 20619-20619	Waiter e' uma instancia de ServicePosition
(subclass Valet ServicePosition)	TransportDetail.kif 127-127	Valet e' uma sub-classe de ServicePosition
(termFormat ChineseLanguage ServicePosition "服务职位")	domainEnglishFormat.kif 52265-52265
(termFormat ChineseTraditionalLanguage ServicePosition "服務職位")	domainEnglishFormat.kif 52264-52264
(termFormat EnglishLanguage ServicePosition "service position")	domainEnglishFormat.kif 52263-52263

consequent

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

Mid-level-ontology.kif 7700-7704