| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1602-1607 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1598-1598 | The number 1 argument of head of government is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | The number 2 argument of head of government is an instance of position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1600-1600 | The number 3 argument of head of government is an instance of human |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1597-1597 | head of government is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1165-1165 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1164-1164 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1163-1163 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27726-27726 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27725-27725 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27724-27724 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1609-1613 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1640-1642 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1615-1617 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1622-1624 |
|
|
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