![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation TreeBranch EnglishLanguage "Any PlantBranch which is part of a BotanicalTree.") | Mid-level-ontology.kif 9490-9491 | |
(externalImage TreeBranch "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Branch.agr.jpg") | pictureList.kif 52-52 | |
(subclass TreeBranch PlantBranch) | Mid-level-ontology.kif 9489-9489 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage TreeBranch "树枝") | domainEnglishFormat.kif 59138-59138 | |
(termFormat ChineseTraditionalLanguage TreeBranch "樹枝") | domainEnglishFormat.kif 59137-59137 | |
(termFormat EnglishLanguage TreeBranch "tree branch") | domainEnglishFormat.kif 59136-59136 |
antecedent |
![]() |
(=> (instance ?B TreeBranch) (exists (?T) (and (instance ?T BotanicalTree) (part ?B ?T)))) |
Mid-level-ontology.kif 9493-9498 |
![]() |
![]() |