|
|
  Oceania
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 637-637 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3554-3554 | Oceania e' uma instancia de Continente |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 106-106 | Oceania e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania e' Southwest em relacao a NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | Oceania engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania engloba WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 659-659 | geographicSubregion AmericanSamoa and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 660-660 | geographicSubregion Australia and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 663-663 | geographicSubregion BakerIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 664-664 | geographicSubregion CookIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 665-665 | geographicSubregion CoralSeaIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 666-666 | geographicSubregion Fiji and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 668-668 | geographicSubregion FrenchPolynesia and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 669-669 | geographicSubregion Guam and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 670-670 | geographicSubregion HowlandIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 671-671 | geographicSubregion JarvisIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 672-672 | geographicSubregion JohnstonAtoll and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 673-673 | geographicSubregion KingmanReef and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 674-674 | geographicSubregion Kiribati and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 676-676 | geographicSubregion MarshallIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 678-678 | geographicSubregion Micronesia and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 680-680 | geographicSubregion MidwayIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 681-681 | geographicSubregion Nauru and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 683-683 | geographicSubregion NewCaledonia and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 684-684 | geographicSubregion NewZealand and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 686-686 | geographicSubregion Niue and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 687-687 | geographicSubregion NorfolkIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 688-688 | geographicSubregion NorthernMarianaIslands and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 689-689 | geographicSubregion Palau and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 691-691 | geographicSubregion PalmyraAtoll and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 692-692 | geographicSubregion PitcairnIslands and Oceania |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade |
|
|
|
