|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 247-247 | NorthernSouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3558-3558 | Oceania recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3556-3556 | Oceania recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3557-3557 | Oceania recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3559-3559 | Oceania recouvre WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3533-3533 | SouthAmerica recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3534-3534 | SouthAmerica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 269-269 | SoutheasternAsia recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 270-270 | SoutheasternAsia recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 265-265 | SouthernAsia recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | SouthernAsia recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 228-228 | SouthwesternEurope recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 229-229 | SouthwesternEurope recouvre WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3619-3619 | Tropics recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3617-3617 | Tropics recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3618-3618 | Tropics recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3620-3620 | Tropics recouvre WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 201-201 | WesternAfrica recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 203-203 | WesternAfrica recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 204-204 | WesternAfrica recouvre SouthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 202-202 | WesternAfrica recouvre WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | WesternEurope recouvre EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | WesternEurope recouvre WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | WesternSouthAmerica recouvre NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica recouvre 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