TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Creek BodyOfWater)	Geography.kif 7272-7272	Creek is a subclass of body of water
(subclass Creek StreamWaterArea)	Geography.kif 7273-7273	Creek is a subclass of stream water area
(subclass Creek FreshWaterArea)	Geography.kif 7274-7274	Creek is a subclass of fresh water area
(disjoint Creek River)	Geography.kif 7275-7275	Creek is disjoint from river
(documentation Creek EnglishLanguage "Creek is the class of small streams of fresh water flowing through land, usually into a River.")	Geography.kif 7276-7277	Creek is disjoint from river
(externalImage Creek "http://upload.wikimedia.org/wikipedia/commons/0/0c/ 2007_0731klklk0071.JPG")	pictureList.kif 893-893	Creek is disjoint from river

appearance as argument number 2

(termFormat EnglishLanguage Creek "creek")	domainEnglishFormat.kif 17802-17802
(termFormat ChineseTraditionalLanguage Creek "溪")	domainEnglishFormat.kif 17803-17803
(termFormat ChineseLanguage Creek "溪")	domainEnglishFormat.kif 17804-17804

antecedent

(=>
    (and
        (instance ?C Creek)
        (instance ?R River))
    (smaller ?C ?R))

If X is an instance of creek and Y is an instance of river, then X is smaller than Y