WillowTree(柳树) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6542-6542 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2063-2063 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6541-6541 | 柳树 是 DeciduousTree 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63093-63093 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63092-63092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63091-63091 |