Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  RepublicanPartyUS
|
|
|
| appearance as argument number 1 |
|
|
| (instance RepublicanPartyUS PoliticalParty) | Government.kif 4863-4863 | Republican party is an instance of political party |
| (documentation RepublicanPartyUS EnglishLanguage "One of the two major political parties in the UnitedStates. The RepublicanPartyUS represents traditional, conservative values.") | Government.kif 4864-4866 | Republican party is an instance of political party |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RepublicanPartyUS "republican party") | Government.kif 4867-4867 |
|