GovernmentFn

-------------------------


(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1562-1564
(=>
    (chiefOfState ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON Leader
        (GovernmentFn ?AREA)))
Government.kif 1566-1568
(=>
    (headOfGovernment ?AREA ?POSITION ?PERSON)
    (occupiesPosition ?PERSON ?POSITION
        (GovernmentFn ?AREA)))
Government.kif 1615-1617
(=>
    (hostileForces ?U1 ?U2)
    (exists (?WAR ?A1 ?A2)
        (and
            (instance ?WAR War)
            (contestParticipant ?WAR ?A1)
            (contestParticipant ?WAR ?A2)
            (subOrganization ?U1
                (GovernmentFn ?A1))
            (subOrganization ?U2
                (GovernmentFn ?A2)))))
Mid-level-ontology.kif 8427-8435
(=>
    (instance ?AREA ParliamentaryTerritory)
    (governmentType
        (GovernmentFn ?AREA) ParliamentaryGovernment))
Government.kif 527-529
(=>
    (instance ?COUNTRY Nation)
    (instance
        (GovernmentFn ?COUNTRY) NationalGovernment))
Government.kif 117-119


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners