Cafeteria - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Cafeteria Restaurant)	Mid-level-ontology.kif 8990-8990	Cafeteria is a subclass of restaurant
(documentation Cafeteria EnglishLanguage "Any Restaurant which does not offer table service. Food is selected and purchased at a central counter.")	Mid-level-ontology.kif 8991-8992	Cafeteria is a subclass of restaurant

appearance as argument number 2

(subclass Coffeeshop Cafeteria)	Dining.kif 31-31	Coffee shop is a subclass of cafeteria
(termFormat EnglishLanguage Cafeteria "cafeteria")	domainEnglishFormat.kif 12655-12655	Coffee shop is a subclass of cafeteria
(termFormat ChineseTraditionalLanguage Cafeteria "自助餐館")	domainEnglishFormat.kif 12656-12656	Coffee shop is a subclass of cafeteria
(termFormat ChineseLanguage Cafeteria "自助餐馆")	domainEnglishFormat.kif 12657-12657	Coffee shop is a subclass of cafeteria

antecedent

(=>
    (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