headOfGovernment |
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 | 域 政府首腦, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | 域 政府首腦, 2 and Position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1600-1600 | 域 政府首腦, 3 and Human |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1597-1597 | 例 政府首腦 and TernaryPredicate |
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 |
|