Cafeteria - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Cafeteria EnglishLanguage "Any Restaurant which does not offer table service. Food is selected and purchased at a central counter.")	Mid-level-ontology.kif 7364-7365
(subclass Cafeteria Restaurant)	Mid-level-ontology.kif 7363-7363

appearance as argument number 2

(subclass Coffeeshop Cafeteria)	Dining.kif 31-31
(termFormat ChineseLanguage Cafeteria "自助餐馆")	domainEnglishFormat.kif 12595-12595
(termFormat ChineseTraditionalLanguage Cafeteria "自助餐館")	domainEnglishFormat.kif 12594-12594
(termFormat EnglishLanguage Cafeteria "cafeteria")	domainEnglishFormat.kif 12593-12593

antecedent

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

Mid-level-ontology.kif 7367-7371