NorthAtlanticOcean |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4548-4550 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2495-2495 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4544-4544 | geographicSubregion NorthAtlanticOcean and AtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4545-4545 | geographicSubregion NorthAtlanticOcean and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4546-4546 | geographicSubregion NorthAtlanticOcean and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4540-4540 | NorthAtlanticOcean est une instance de BodyOfWater |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4539-4539 | NorthAtlanticOcean est une instance de plan d'eau sal� |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5176-5176 | GulfOfMexico est connect� � NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 919-919 | Delaware rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 925-925 | FloridaUnitedStates rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 931-931 | Georgia rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 979-979 | Maine rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 982-982 | Maryland rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 990-990 | Massachusetts rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1036-1036 | NewHampshire rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1042-1042 | NewJersey rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1061-1061 | NewYorkState rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1063-1063 | NorthCarolina rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1096-1096 | SouthCarolina rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1134-1134 | Virginia rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4541-4541 | NorthAtlanticOcean s'appele nom "North Atlantic Ocean" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4542-4542 | NorthAtlanticOcean s'appele nom "North Atlantic" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40965-40965 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40964-40964 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40963-40963 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 623-642 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 749-759 |
|