No TPTP formula. May not be expressible in strict first order. |
Government.kif 342-342 |
EcclesiasticalGovernment e' um sub-atributo de TheocraticGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 343-343 |
IslamicGovernment e' um sub-atributo de TheocraticGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 341-341 |
TheocraticRepublic e' um sub-atributo de TheocraticGovernment |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57842-57842 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57841-57841 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57840-57840 |
|