Coral(珊瑚) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5967-5978 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 367-367 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5965-5965 | 珊瑚 是 无脊椎动物 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17316-17316 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17315-17315 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17314-17314 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5986-5991 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5949-5957 |