| ArcticOcean
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4637-4637 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2435-2435 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4639-4639 | geographicSubregion ArcticOcean and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4634-4634 | ArcticOcean e' uma instancia de Ocean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | ArcticOcean engloba ArcticRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | ArcticOcean e' parcialmente localizado em EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | ArcticOcean e' parcialmente localizado em WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1675-1675 | geographicSubregion NorthernSeaRoute and ArcticOcean |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1666-1666 | geographicSubregion NorthwestPassage and ArcticOcean |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 882-882 | Alaska encontra ArcticOcean |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4635-4635 | ArcticOcean se chama nome "Arctic Ocean" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8268-8268 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8267-8267 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8266-8266 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4643-4647 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4643-4647 |
|
|
|
|