| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1443-1447 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14138-14143 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14136-14136 | O argumento numero 1 de geopoliticalSubdivision e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14137-14137 | O argumento numero 2 de geopoliticalSubdivision e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | geopoliticalSubdivision e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14134-14134 | geopoliticalSubdivision e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14135-14135 | geopoliticalSubdivision e' uma sub-relacao de geographicSubregion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 804-804 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 814-814 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 483-483 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 815-815 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 435-435 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 505-505 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 385-385 | administrativeCenter e' uma sub-relacao de geopoliticalSubdivision |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31777-31777 | primaryGeopoliticalSubdivision e' uma sub-relacao de geopoliticalSubdivision |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 805-805 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25842-25842 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25841-25841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25840-25840 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4632-4637 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4499-4504 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 446-449 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 395-397 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8107-8112 | Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2432-2445 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6931-6936 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 441-444 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19719-19727 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4255-4255 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4275-4275 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4259-4259 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4267-4267 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4279-4279 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4251-4251 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4271-4271 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4263-4263 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4283-4283 | Sub-divisao geopolitica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4287-4287 | Sub-divisao geopolitica |
|
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