TreeView Knowledge Base Browser

consequent

(=>
    (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

(subclass Cone ThreeDimensionalFigure)	Mid-level-ontology.kif 5601-5601	Cone is a subclass of three dimensional figure
(documentation Cone EnglishLanguage "The class of ThreeDimensionalFigures which are produced by rotating a RightTriangle around its RightAngle.")	Mid-level-ontology.kif 5602-5603	Cone is a subclass of three dimensional figure
(externalImage Cone "http://upload.wikimedia.org/wikipedia/commons/d/d2/ Cone_3d.png")	pictureList.kif 1711-1711	Cone is a subclass of three dimensional figure

(termFormat EnglishLanguage Cone "cone")	domainEnglishFormat.kif 16542-16542
(termFormat ChineseTraditionalLanguage Cone "錐體")	domainEnglishFormat.kif 16543-16543
(termFormat ChineseLanguage Cone "锥体")	domainEnglishFormat.kif 16544-16544