TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Waterspout WeatherProcess)	Weather.kif 1467-1467	Waterspout is a subclass of weather process
(documentation Waterspout EnglishLanguage "A Waterspout,is a rotating column of air that occurs over a body of water, usually appearing as a funnel-shaped cloud in contact with the water and a cumuliform cloud.There are two types of waterspout, each formed by distinct mechanisms. The most common type is a weak vortex known as a fair weather or non-tornadic waterspout. The other less common type is simply a classic tornado occurring over water rather than land, known as a tornadic supercellular, or mesocyclonic waterspout, and accurately a tornado over water. [Wikipedia]")	Weather.kif 1468-1474	Waterspout is a subclass of weather process
(externalImage Waterspout "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ waterspout.png")	pictureList.kif 835-835	Waterspout is a subclass of weather process

appearance as argument number 2

(subclass FairWeatherWaterspout Waterspout)	Weather.kif 1491-1491	Fair weather waterspout is a subclass of waterspout
(subclass TornadicWaterspout Waterspout)	Weather.kif 1508-1508	Tornadic waterspout is a subclass of waterspout
(termFormat EnglishLanguage Waterspout "waterspout")	domainEnglishFormat.kif 62476-62476	Tornadic waterspout is a subclass of waterspout
(termFormat ChineseTraditionalLanguage Waterspout "水龍捲")	domainEnglishFormat.kif 62477-62477	Tornadic waterspout is a subclass of waterspout
(termFormat ChineseLanguage Waterspout "水龙卷")	domainEnglishFormat.kif 62478-62478	Tornadic waterspout is a subclass of waterspout

antecedent

(=>
    (instance ?S Waterspout)
    (exists (?A ?R ?C ?F ?W)
        (and
            (instance ?A AirStream)
            (instance ?R Rotating)
            (patient ?R ?A)
            (origin ?R ?C)
            (instance ?C WaterCloud)
            (part ?F ?C)
            (shape ?F Cone)
            (eventLocated ?R ?W)
            (instance ?W BodyOfWater)
            (connects ?F ?W ?C))))

If X is an instance of waterspout, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of air stream (3) Z is an instance of rotating (4) Y is a patient of Z (5) Z originates at W (6) W is an instance of water cloud (7) V is a part of W (8) V is cone (9) Z is located at U (10) U is an instance of body of water (11) V connects U (12) W