| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 403-404 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 400-400 | O argumento numero 1 de cardinality e' uma instancia de Conjunto ou Classe |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 401-401 | O argumento numero 2 de cardinality e' uma instancia de Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 399-399 | cardinality e' uma instancia de Predicado Binario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 376-376 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 375-375 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 374-374 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13206-13206 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13205-13205 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13204-13204 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 406-408 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1221-1228 | totalFacilityTypeInArea Area Geografica, Classe and Numero Inteiro nao-negativo cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 410-414 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 144-144 | cardinality a classe correspondente a DevelopedCountry and 35 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | cardinality a classe correspondente a DevelopingCountry and 126 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 405-405 | cardinality a classe correspondente a LeastDevelopedCountry and 42 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | cardinality a classe correspondente a LessDevelopedCountry and 172 |
|
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