| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1880-1882 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1876-1876 | O argumento numero 1 de seatsHeldInOrganization e' uma instancia de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1877-1877 | O argumento numero 2 de seatsHeldInOrganization e' uma instancia de AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1878-1878 | O argumento numero 3 de seatsHeldInOrganization e' uma instancia de Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1875-1875 | seatsHeldInOrganization e' uma instancia de Predicado Ternario |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2207-2207 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2206-2206 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2205-2205 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51749-51749 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51748-51748 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51747-51747 |
|
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