TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FreshWaterArea WaterArea)	Merge.kif 14452-14452	Fresh water area is a subclass of water area
(documentation FreshWaterArea EnglishLanguage "A WaterArea whose Water is not saline, e.g. most rivers and lakes.")	Merge.kif 14453-14454	Fresh water area is a subclass of water area
(externalImage FreshWaterArea "http://upload.wikimedia.org/wikipedia/en/ 4/ 49/ Water_surface_lake.jpg")	pictureList.kif 8492-8492	Fresh water area is a subclass of water area

appearance as argument number 2

(disjoint SaltWaterArea FreshWaterArea)	Merge.kif 14448-14448	Salt water area is disjoint from fresh water area
(subclass River FreshWaterArea)	Geography.kif 7073-7073	River is a subclass of fresh water area
(subclass Reservoir FreshWaterArea)	Geography.kif 7224-7224	Reservoir is a subclass of fresh water area
(subclass Creek FreshWaterArea)	Geography.kif 7274-7274	Creek is a subclass of fresh water area
(termFormat EnglishLanguage FreshWaterArea "fresh water area")	english_format.kif 1115-1115	Creek is a subclass of fresh water area

antecedent

(=>
    (and
        (instance ?INLET Inlet)
        (meetsSpatially ?INLET ?WATER)
        (instance ?WATER FreshWaterArea))
    (instance ?INLET FreshWaterArea))

consequent

(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER FreshWaterArea)) (instance ?INLET FreshWaterArea))	Geography.kif 6839-6844	If X is an instance of inlet, X meets Y, and Y is an instance of fresh water area, then X is an instance of fresh water area
(=> (instance ?OASIS Oasis) (exists (?WATER) (and (instance ?WATER FreshWaterArea) (located ?WATER ?OASIS))))	Geography.kif 8314-8319	If X is an instance of oasis, then there exists Y such that Y is an instance of fresh water area and Y is located at X