TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Fishing Hunting)	Geography.kif 4140-4140	Fishing is a subclass of hunting
(documentation Fishing EnglishLanguage "Fishing is the class of Processes in which Fish are hunted.")	Geography.kif 4141-4142	Fishing is a subclass of hunting
(externalImage Fishing "http://articulatesoftware.com/SUMOpictures/education/ coloring_pages/ fishing.png")	pictureList.kif 434-434	Fishing is a subclass of hunting

appearance as argument number 2

(subclass DriftnetFishing Fishing)	Geography.kif 4162-4162	Driftnet fishing is a subclass of fishing
(subclass FishingSport Fishing)	Sports.kif 249-249	Fishing sport is a subclass of fishing
(termFormat EnglishLanguage Fishing "fishing")	domainEnglishFormat.kif 24010-24010	Fishing sport is a subclass of fishing
(termFormat ChineseTraditionalLanguage Fishing "釣魚")	domainEnglishFormat.kif 24011-24011	Fishing sport is a subclass of fishing
(termFormat ChineseLanguage Fishing "钓鱼")	domainEnglishFormat.kif 24012-24012	Fishing sport is a subclass of fishing

antecedent

(=>
    (and
        (instance ?FISHING Fishing)
        (patient ?FISHING ?TARGET)
        (instance ?TARGET Animal))
    (instance ?TARGET Fish))

If X is an instance of fishing, Y is a patient of X, and Y is an instance of animal, then Y is an instance of fish