TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TreeBranch PlantBranch)	Mid-level-ontology.kif 10980-10980	Tree branch is a subclass of plant branch
(documentation TreeBranch EnglishLanguage "Any PlantBranch which is part of a BotanicalTree.")	Mid-level-ontology.kif 10981-10982	Tree branch is a subclass of plant branch
(externalImage TreeBranch "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Branch.agr.jpg")	pictureList.kif 52-52	Tree branch is a subclass of plant branch

appearance as argument number 2

(termFormat EnglishLanguage TreeBranch "tree branch")	domainEnglishFormat.kif 59113-59113
(termFormat ChineseTraditionalLanguage TreeBranch "樹枝")	domainEnglishFormat.kif 59114-59114
(termFormat ChineseLanguage TreeBranch "树枝")	domainEnglishFormat.kif 59115-59115

antecedent

(=>
    (instance ?B TreeBranch)
    (exists (?T)
        (and
            (instance ?T BotanicalTree)
            (part ?B ?T))))

If X is an instance of tree branch, then there exists Y such that Y is an instance of botanical tree and X is a part of Y