NorthernHemisphere |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3473-3474 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1871-1871 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3472-3472 | NorthernHemisphere e' uma instancia de Hemisphere |
appearance as argument number 2 |
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 3581-3581 | geographicSubregion ArcticRegion and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 232-232 | geographicSubregion CaribbeanRegion and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 257-257 | geographicSubregion CentralAsia and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 213-213 | geographicSubregion CentralEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 260-260 | geographicSubregion EasternAsia and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 210-210 | geographicSubregion EasternEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3544-3544 | geographicSubregion Europe and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 235-235 | geographicSubregion MiddleAmerica and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3528-3528 | geographicSubregion NorthAmerica and NorthernHemisphere |
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 4577-4577 | geographicSubregion NorthPacificOcean and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 196-196 | geographicSubregion NorthernAfrica and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 180-180 | geographicSubregion NorthernAsia and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 216-216 | geographicSubregion NorthernEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 226-226 | geographicSubregion SoutheasternEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 219-219 | geographicSubregion SouthernEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 273-273 | geographicSubregion SouthwesternAsia and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 230-230 | geographicSubregion SouthwesternEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 223-223 | geographicSubregion WesternEurope and NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3523-3523 | Africa engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3550-3550 | Asia engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 187-187 | CentralAfrica engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 191-191 | EasternAfrica engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 242-242 | EasternSouthAmerica engloba NorthernHemisphere |
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 |