|
|
  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 917-921 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 906-913 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1588-1595 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 824-826 |
|
|
|
