No TPTP formula. May not be expressible in strict first order. |
Government.kif 4830-4830 |
DemocraticPartyUS est une instance de PoliticalParty |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2240-2240 |
NaziParty est une instance de PoliticalParty |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4835-4835 |
RepublicanPartyUS est une instance de PoliticalParty |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2224-2224 |
CommunistParty est une sous-classe de PoliticalParty |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2208-2208 |
PoliticalCoalition est une sous-classe de PoliticalParty |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46509-46509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46508-46508 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46507-46507 |
|