| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2494-2498 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2489-2489 | O argumento numero 1 de exportPartnerByRankInPeriod e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2490-2490 | O argumento numero 2 de exportPartnerByRankInPeriod e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2491-2491 | O argumento numero 3 de exportPartnerByRankInPeriod e' uma instancia de Inteiro positivo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2492-2492 | O argumento numero 4 de exportPartnerByRankInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2488-2488 | exportPartnerByRankInPeriod e' uma instancia de Predicado Quaternario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 967-967 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 966-966 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 965-965 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22924-22924 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22923-22923 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22922-22922 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2511-2516 | exportPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal |
|
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