TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CoastalFlooding EnglishLanguage "CoastalFlooding is a Flooding that occurs at Seacoast.")	Weather.kif 2919-2920
(documentation CoastalFlooding ChineseLanguage "沿海洪水 (CoastalFlooding)是出现在海岸 (Seacoast)的洪水(Flooding)。")	Weather.kif 2921-2922
(subclass CoastalFlooding Flooding)	Weather.kif 2923-2923	Coastal flooding is a subclass of flooding

appearance as argument number 2

(termFormat EnglishLanguage CoastalFlooding "coastal flooding")	domainEnglishFormat.kif 15372-15372
(termFormat ChineseTraditionalLanguage CoastalFlooding "沿海洪水")	domainEnglishFormat.kif 15373-15373
(termFormat ChineseLanguage CoastalFlooding "沿海洪水")	domainEnglishFormat.kif 15374-15374

antecedent

(=>
    (instance ?CF CoastalFlooding)
    (exists (?AREA)
        (and
            (instance ?AREA Seacoast)
            (eventLocated ?CF ?AREA))))

If X is an instance of coastal flooding, then there exists Y such that Y is an instance of seacoast and X is located at Y