|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 247-247 | NorthernSouthAmerica engloba SouthernHemisphere |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | SouthAmerica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | SoutheasternAsia engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | SoutheasternAsia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 265-265 | SouthernAsia engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | SouthernAsia engloba SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | SouthwesternEurope engloba EasternHemisphere |
| 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 3619-3619 | Tropics engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | Tropics engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics engloba SouthernHemisphere |
| 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 201-201 | WesternAfrica engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | WesternAfrica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | WesternAfrica engloba SouthernHemisphere |
| 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 221-221 | WesternEurope engloba EasternHemisphere |
| 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 253-253 | WesternSouthAmerica engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica engloba SouthernHemisphere |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners