TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Peninsula LandForm)	Geography.kif 7393-7393	Peninsula is a subclass of land form
(documentation Peninsula EnglishLanguage "A Peninsula is a piece of land that extends into a body of water and is surrounded on three sides by water. Typically connected by an Isthmus or neck of land that is narrower than its main portion (contrast with Cape).")	Geography.kif 7395-7398	Peninsula is a subclass of land form
(externalImage Peninsula "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5d/ Peninsula_croatia.jpg/ 300px_Peninsula_croatia.jpg")	pictureList.kif 1212-1212	Peninsula is a subclass of land form

appearance as argument number 2

(instance KoreanPeninsula Peninsula)	CountriesAndRegions.kif 819-819	Korean peninsula is an instance of peninsula
(termFormat EnglishLanguage Peninsula "peninsula")	domainEnglishFormat.kif 45023-45023	Korean peninsula is an instance of peninsula
(termFormat ChineseTraditionalLanguage Peninsula "半島")	domainEnglishFormat.kif 45024-45024	Korean peninsula is an instance of peninsula
(termFormat ChineseLanguage Peninsula "半岛")	domainEnglishFormat.kif 45025-45025	Korean peninsula is an instance of peninsula

antecedent

(=>
    (instance ?Peninsula Peninsula)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (penetrates ?Peninsula ?Water))))

If X is an instance of peninsula, then there exists Y such that Y is an instance of water area and X penetrates Y