| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24701-24704 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | O argumento numero 1 de postCountry e' uma instancia de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24699-24699 | O argumento numero 2 de postCountry e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24696-24696 | postCountry e' uma instancia de Relacao Assimetrica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24697-24697 | postCountry e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24700-24700 | postCountry e' uma sub-relacao de located |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4158-4158 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4157-4157 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4156-4156 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65905-65905 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24706-24710 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24712-24719 | PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24728-24735 |
|
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