WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | SouthPacificOcean e' parcialmente localizado em WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | SouthernOcean e' parcialmente localizado em WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62799-62799 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62798-62798 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62797-62797 |