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 | O argumento numero 1 de headOfGovernment e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1599-1599 | O argumento numero 2 de headOfGovernment e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1600-1600 | O argumento numero 3 de headOfGovernment e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1597-1597 | headOfGovernment e' uma instancia de Predicado Ternario |
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 |