Reef(reef)![]() ![]() | ![]() | barrier_reef, reef |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6242-6243 | |
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 6240-6240 | 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 6283-6283 | Coral reef is a subclass of reef |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49092-49092 | Coral reef is a subclass of reef |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49091-49091 | Coral reef is a subclass of reef |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49090-49090 | Coral reef is a subclass of reef |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6262-6266 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6252-6260 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6245-6250 |
|
![]() |
![]() |