Planting(種植) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2579-2581 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 672-672 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | 子類 種植 and Putting |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2571-2571 | 子類 造林 and 種植 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2583-2583 | 子類 造林 and 種植 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46122-46122 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46121-46121 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46120-46120 |