TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CoastalPlain Plain)	Geography.kif 7343-7343	Coastal plain is a subclass of plain
(documentation CoastalPlain EnglishLanguage "CoastalPlain is the class of broad plains areas adjacent to a Sea or Ocean. A coastal plain includes a narrower ShoreArea adjacent to a body of water.")	Geography.kif 7345-7347	Coastal plain is a subclass of plain
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/en/e/ e3/ AtlCoastalPlain.jpg")	pictureList.kif 2446-2446	Coastal plain is a subclass of plain
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ GulfofMexico3D.png")	pictureList.kif 2554-2554	Coastal plain is a subclass of plain
(externalImage CoastalPlain "http://upload.wikimedia.org/wikipedia/en/e/ eb/ Socal_geo.jpg")	pictureList.kif 2555-2555	Coastal plain is a subclass of plain

appearance as argument number 2

(termFormat EnglishLanguage CoastalPlain "coastal plain")	domainEnglishFormat.kif 15384-15384
(termFormat ChineseTraditionalLanguage CoastalPlain "沿海平原")	domainEnglishFormat.kif 15385-15385
(termFormat ChineseLanguage CoastalPlain "沿海平原")	domainEnglishFormat.kif 15386-15386

antecedent

(=>
    (instance ?plain CoastalPlain)
    (exists (?shore)
        (and
            (instance ?shore ShoreArea)
            (part ?shore ?plain))))

If X is an instance of coastal plain, then there exists Y such that Y is an instance of shore area and Y is a part of X