Reef
|
|
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 | 子類 礁 and 土地形式 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5980-5980 | 子類 珊瑚礁 and 礁 |
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 |