Democracy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 298-301 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5955-5955 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6364-6364 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6365-6365 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6366-6366 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 175-175 | Democracy e' uma instancia de FormOfGovernment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 308-308 | ConstitutionalDemocraticRepublic e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 307-307 | ConstitutionalParliamentaryDemocracy e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 310-310 | EmergingDemocracy e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 303-303 | FederalDemocraticRepublic e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 306-306 | FederalParliamentaryDemocracy e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 309-309 | MultipartyDemocracy e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 304-304 | ParliamentaryDemocracy e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | Government.kif 305-305 | ParliamentaryDemocraticRepublic e' um sub-atributo de Democracy |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18984-18984 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18983-18983 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18982-18982 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 881-885 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 870-877 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1552-1559 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 824-826 |