Reef(礁) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5939-5940 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 622-622 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 698-698 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 695-695 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 697-697 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 696-696 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5937-5937 | 礁 是 土地形式 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5980-5980 | 珊瑚礁 是 礁 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49088-49088 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49087-49087 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49086-49086 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5959-5963 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5949-5957 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5942-5947 |