| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 160-160 | Western europe is a geographic subregion of europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 223-223 | Western europe is a geographic subregion of northern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 88-88 | Western europe is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | Western europe and eastern hemisphere overlapsSpatially |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | Western europe and western hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 348-348 | Belgium is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 350-350 | France is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 352-352 | Guernsey is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 353-353 | Ireland is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 358-358 | Isle of man is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 355-355 | Jersey is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 356-356 | Luxembourg is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 359-359 | Monaco is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 361-361 | Netherlands is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 363-363 | United kingdom is a geographic subregion of western europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 118-118 | Western europe has name "Western Europe" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62775-62775 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62774-62774 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62773-62773 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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