TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Dam StationaryArtifact)	Geography.kif 7212-7212	Dam is a subclass of stationary artifact
(documentation Dam EnglishLanguage "Dam is the subclass of StationaryArtifacts that are walls built across a stream or river to hold back water.")	Geography.kif 7214-7215	Dam is a subclass of stationary artifact
(subclass Dam TransitwayObstacle)	Transportation.kif 4511-4511	Dam is a subclass of transitway obstacle
(externalImage Dam "http://articulatesoftware.com/SUMOpictures/geography/ dam.png")	pictureList.kif 382-382	Dam is a subclass of transitway obstacle

appearance as argument number 2

(termFormat EnglishLanguage Dam "dam")	domainEnglishFormat.kif 18432-18432
(termFormat ChineseTraditionalLanguage Dam "壩")	domainEnglishFormat.kif 18433-18433
(termFormat ChineseLanguage Dam "坝")	domainEnglishFormat.kif 18434-18434

antecedent

(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))

If X is an instance of dam, then there exists Y such that Y is an instance of water area and X traverses Y