Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass PoliticalOrganization Organization) | Merge.kif 17002-17002 | Political organization is a subclass of organization |
| (documentation PoliticalOrganization EnglishLanguage "An Organization that is attempting to bring about some sort of political change.") | Merge.kif 17003-17004 | Political organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| (subclass MilitaryForce PoliticalOrganization) | Merge.kif 17013-17013 | Military force is a subclass of political organization |
| (subclass TerroristOrganization PoliticalOrganization) | Mid-level-ontology.kif 24895-24895 | Terrorist organization is a subclass of political organization |
| (instance PalestinianLiberationOrganization PoliticalOrganization) | CountriesAndRegions.kif 3907-3907 | Palestinian liberation organization is an instance of political organization |
| (subclass PoliticalCoalition PoliticalOrganization) | Government.kif 2213-2213 | Political coalition is a subclass of political organization |
| (subclass PoliticalParty PoliticalOrganization) | Government.kif 2220-2220 | Political party is a subclass of political organization |
| (subclass PoliticalPressureGroup PoliticalOrganization) | Government.kif 2315-2315 | Political pressure group is a subclass of political organization |
| (termFormat EnglishLanguage PoliticalOrganization "political organization") | english_format.kif 1353-1353 | Political pressure group is a subclass of political organization |
| antecedent |
|
|
| (=> (instance ?POL PoliticalOrganization) (exists (?PROC) (and (instance ?PROC PoliticalProcess) (agent ?PROC ?POL)))) |
Merge.kif 17006-17011 | If X is an instance of political organization, then there exists Y such that Y is an instance of political process and X is an agent of Y |
|
