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 57844-57844 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57843-57843 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57842-57842 |
|