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 | Reef is a subclass of land form |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5980-5980 | Coral reef is a subclass of reef |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49090-49090 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49089-49089 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49088-49088 |
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 |
|