| WesternHemisphere
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3485-3486 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2060-2060 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3484-3484 | WesternHemisphere e' uma instancia de Hemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 233-233 | geographicSubregion CaribbeanRegion and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 238-238 | geographicSubregion CentralSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 241-241 | geographicSubregion EasternSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 236-236 | geographicSubregion MiddleAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | geographicSubregion MiddleEastRegion and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3529-3529 | geographicSubregion NorthAmerica and WesternHemisphere |
| 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 245-245 | geographicSubregion NorthernSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1667-1667 | geographicSubregion NorthwestPassage and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3535-3535 | geographicSubregion SouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | geographicSubregion SouthernSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | geographicSubregion WesternSouthAmerica and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3541-3541 | Antarctica engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3583-3583 | ArcticRegion engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 195-195 | NorthernAfrica engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 229-229 | SouthwesternEurope engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | Tropics engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 202-202 | WesternAfrica engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | WesternEurope engloba WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | ArcticOcean e' parcialmente localizado em WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | NorthPacificOcean e' parcialmente localizado em WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | NorthwesternPacificOcean e' parcialmente localizado em WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | SouthAtlanticOcean e' parcialmente localizado em WesternHemisphere |
| 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 3488-3494 | Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere |
|
|
|