IndianOcean(indian ocean) | Indian_Ocean |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4631-4631 | Indian ocean is connected to persian gulf |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4630-4630 | Indian ocean is connected to south pacific ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4632-4632 | Indian ocean is connected to southern ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4628-4628 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 514-514 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4625-4625 | Indian ocean is an instance of ocean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 586-586 | French southern and antarctic lands is located at indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 136-136 | Bassas da india meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 140-140 | Europa island meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 142-142 | Glorioso islands meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 144-144 | Heard island and mc donald islands meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 146-146 | Juan de nova island meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 148-148 | Mayotte meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 150-150 | Tromelin island meets indian ocean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4626-4626 | Indian ocean has name "Indian Ocean" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29617-29617 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29616-29616 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29615-29615 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 627-646 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 588-588 | French southern and antarctic lands is located at the directional subregion of south and indian ocean |