| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29735-29738 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29732-29732 | O argumento numero 1 de covers e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29733-29733 | O argumento numero 2 de covers e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29729-29729 | covers e' uma instancia de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29731-29731 | covers e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29730-29730 | covers e' uma instancia de Relacao Transitiva |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29734-29734 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65801-65801 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29740-29744 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30166-30176 | Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29746-29753 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30148-30161 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4742-4749 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15936-15943 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5920-5927 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4795-4804 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4461-4471 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4771-4775 |
|
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