geopoliticalSubdivision |
appearance as argument number 1 |
appearance as argument number 2 |
antecedent |
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4632-4637 | |
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4499-4504 | |
(=> (geopoliticalSubdivision ?AREA ?COUNTRY) (not (dependentGeopoliticalArea ?AREA ?COUNTRY))) |
Government.kif 446-449 | |
(=> (geopoliticalSubdivision ?SUB ?AREA) (not (instance ?SUB IndependentState))) |
Government.kif 395-397 |
consequent |
appearance as argument number 0 |