Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PoliticalRevolution
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PoliticalRevolution PoliticalProcess) | Mid-level-ontology.kif 15477-15477 | Political revolution is a subclass of political process |
| (subclass PoliticalRevolution ViolentContest) | Mid-level-ontology.kif 15478-15478 | Political revolution is a subclass of violent contest |
| (documentation PoliticalRevolution EnglishLanguage "The violent overthrow of one Government and its replacement by another. This covers grass-roots revolutions, as well as coups d'etat.") | Mid-level-ontology.kif 15479-15481 | Political revolution is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (instance ?A GeopoliticalArea)) |
Mid-level-ontology.kif 15483-15487 | If X is an instance of political revolution and Y is a patient of X, then Y is an instance of geopolitical area |
| (=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (exists (?GOV1 ?GOV2) (and (holdsDuring (BeginFn (WhenFn ?R)) (equal ?GOV1 (GovernmentFn ?A))) (holdsDuring (EndFn (WhenFn ?R)) (equal ?GOV2 (GovernmentFn ?A))) (not (equal ?GOV1 ?GOV2))))) |
Mid-level-ontology.kif 15489-15501 | If X is an instance of political revolution and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that equal Z (3) the government of Y holds during the beginning of the time of existence of X (4) equal W (5) the government of Y holds during the end of the time of existence of X (6) equal Z (7) W |
|