|
|
  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 627-646 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 753-763 |
|
|
|
|
