| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2001-2001 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3170-3170 | Maidan shar afghanistan is a geographic subregion of afghanistan |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2000-2000 | Maidan shar afghanistan is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3171-3171 | Maidan shar afghanistan has name "Maidan Shar" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35657-35657 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35656-35656 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35655-35655 |
|
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