|
|
  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 e' uma instancia de BodyOfWater |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4539-4539 | NorthAtlanticOcean e' uma instancia de Area Aquatica salgada |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5176-5176 | GulfOfMexico e' conectado com NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 919-919 | Delaware encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 925-925 | FloridaUnitedStates encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 931-931 | Georgia encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 979-979 | Maine encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 982-982 | Maryland encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 990-990 | Massachusetts encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1036-1036 | NewHampshire encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1042-1042 | NewJersey encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1061-1061 | NewYorkState encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1063-1063 | NorthCarolina encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1096-1096 | SouthCarolina encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1134-1134 | Virginia encontra NorthAtlanticOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4541-4541 | NorthAtlanticOcean se chama nome "North Atlantic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4542-4542 | NorthAtlanticOcean se chama nome "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 |
|
|
|
