Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PoliticalCoalition(political coalition) |
| appearance as argument number 1 |
|
| (subclass PoliticalCoalition PoliticalOrganization) | Government.kif 2213-2213 | Political coalition is a subclass of political organization |
| (subclass PoliticalCoalition PoliticalParty) | Government.kif 2214-2214 | Political coalition is a subclass of political party |
| (documentation PoliticalCoalition EnglishLanguage "PoliticalCoalition is the class of political organizations that are constituted by political parties joined together for some common interest(s).") | Government.kif 2216-2218 | Political coalition is a subclass of political party |
| appearance as argument number 2 |
|
|
|