Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DemocraticPartyUS(democratic party) |  | Democratic_Party |
| appearance as argument number 1 |
|
|
| (instance DemocraticPartyUS PoliticalParty) | Government.kif 4858-4858 | Democratic party is an instance of political party |
| (documentation DemocraticPartyUS EnglishLanguage "One of the two major political parties in the UnitedStates. The DemocraticPartyUS represents liberal values.") | Government.kif 4859-4860 | Democratic party is an instance of political party |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DemocraticPartyUS "democratic party") | Government.kif 4861-4861 |
|