DiningGuide - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DiningGuide GuideBook)	Mid-level-ontology.kif 29020-29020	Dining guide is a subclass of guide book
(documentation DiningGuide EnglishLanguage "DiningGuide is a type of GuideBook that offers information about dining places around a specific location")	Mid-level-ontology.kif 29021-29022	Dining guide is a subclass of guide book
(defaultMinimumHeight DiningGuide (MeasureFn 0.1 Inch))	DimensioningAmenities.kif 342-342	The minimum expected height of dining guide is 0.1 inch(s)
(defaultMaximumHeight DiningGuide (MeasureFn 2 Inch))	DimensioningAmenities.kif 343-343	The maximum expected height of dining guide is 2 inch(s)
(defaultMinimumWidth DiningGuide (MeasureFn 3 Inch))	DimensioningAmenities.kif 344-344	The minimum expected width of dining guide is 3 inch(s)
(defaultMaximumWidth DiningGuide (MeasureFn 9 Inch))	DimensioningAmenities.kif 345-345	The maximum expected width of dining guide is 9 inch(s)
(defaultMinimumLength DiningGuide (MeasureFn 10 Inch))	DimensioningAmenities.kif 346-346	The minimum expected length of dining guide is 10 inch(s)
(defaultMaximumLength DiningGuide (MeasureFn 13 Inch))	DimensioningAmenities.kif 347-347	The maximum expected length of dining guide is 13 inch(s)
(defaultMinimumMeasure DiningGuide (MeasureFn 0.25 PoundMass))	DimensioningAmenities.kif 348-348	The minimum expected value of dining guide is 0.25 pound mass(s)
(defaultMaximumMeasure DiningGuide (MeasureFn 2 PoundMass))	DimensioningAmenities.kif 349-349	The maximum expected value of dining guide is 2 pound mass(s)

appearance as argument number 2

(termFormat EnglishLanguage DiningGuide "dining guide")

antecedent

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

If X is an instance of dining guide, then there exist Y, Z such that Y is an instance of geographic area, X includes a reference to Y, Z is an instance of restaurant, Z is located at Y, and X includes a reference to Z