TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(instance Waiter ServicePosition)	Mid-level-ontology.kif 22834-22834	Waiter is an instance of service position
(instance Maid ServicePosition)	Mid-level-ontology.kif 22867-22867	Maid is an instance of service position
(instance Porter ServicePosition)	Hotel.kif 2396-2396	Porter is an instance of service position
(instance Concierge ServicePosition)	Hotel.kif 2427-2427	Concierge is an instance of service position
(instance Doorman ServicePosition)	Hotel.kif 2441-2441	Doorman is an instance of service position
(subclass Valet ServicePosition)	TransportDetail.kif 127-127	Valet is a subclass of service position
(instance FlightSteward ServicePosition)	Transportation.kif 3165-3165	Flight steward is an instance of service position
(termFormat EnglishLanguage ServicePosition "service position")	domainEnglishFormat.kif 52258-52258	Flight steward is an instance of service position
(termFormat ChineseTraditionalLanguage ServicePosition "服務職位")	domainEnglishFormat.kif 52259-52259	Flight steward is an instance of service position
(termFormat ChineseLanguage ServicePosition "服务职位")	domainEnglishFormat.kif 52260-52260	Flight steward is an instance of service position

consequent

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

If X is an instance of cafeteria, then there doesn't exist Y such that Y holds the position of service position in X