DiningGuide - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiningGuide EnglishLanguage "DiningGuide is a type of GuideBook that offers information about dining places around a specific location")	Mid-level-ontology.kif 25810-25811
(subclass DiningGuide GuideBook)	Mid-level-ontology.kif 25809-25809	DiningGuide 是 GuideBook 的 subclass

appearance as argument number 2

(termFormat EnglishLanguage DiningGuide "dining guide")

Mid-level-ontology.kif 25812-25812

antecedent

(=>
    (instance ?X DiningGuide)
    (exists (?LOC ?REST)
        (and
            (instance ?LOC GeographicArea)
            (refers ?X ?LOC)
            (instance ?REST Restaurant)
            (located ?REST ?LOC)
            (refers ?X ?REST))))

Mid-level-ontology.kif 25814-25822