Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Government
Government

appearance as argument number 1
-------------------------


(documentation Government ChineseLanguage "这是一个 GeopoliticalArea 的管治机构。") chinese_format.kif 3738-3738
(documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.") Merge.kif 15926-15926
(subclass Government GovernmentOrganization) Merge.kif 15921-15921
(subclass Government LegalAgent) Merge.kif 15924-15924

appearance as argument number 2
-------------------------


(instance USStateDepartment Government) Government.kif 2358-2358
(range GovernmentFn Government) Merge.kif 15931-15931
(subclass CityGovernment Government) Mid-level-ontology.kif 7599-7599
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1505-1505
(subclass NationalGovernment Government) Government.kif 103-103
(subclass StateGovernment Government) Mid-level-ontology.kif 7591-7591
(termFormat ChineseLanguage Government "政府") chinese_format.kif 1070-1070
(termFormat EnglishLanguage Government "government") english_format.kif 1356-1356

consequent
-------------------------


(<=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 15908-15913
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 17679-17683
(=>
    (and
        (instance ?S SeizingProperty)
        (destination ?S ?A)
        (origin ?S ?V)
        (instance ?V CognitiveAgent))
    (and
        (instance ?A Government)
        (not
            (confersNorm ?V
                (destination ?S ?A) Permission))))
Mid-level-ontology.kif 16839-16850
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 20737-20745
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 20642-20647
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2374-2379
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2308-2313
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2407-2412
(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))
Mid-level-ontology.kif 14417-14422
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 16434-16439
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1511-1516
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 7723-7730
(=>
    (instance ?P Prison)
    (hasPurpose ?P
        (exists (?C ?H ?G)
            (and
                (instance ?C Confining)
                (eventLocated ?C ?P)
                (patient ?C ?H)
                (instance ?H Human)
                (agent ?C ?G)
                (instance ?G Government)))))
Mid-level-ontology.kif 6134-6144
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))
Mid-level-ontology.kif 7480-7485
(=>
    (instance ?PARK Park)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?PARK))))
Mid-level-ontology.kif 7461-7466
(=>
    (instance ?PROC PoliticalProcess)
    (exists (?POL)
        (and
            (or
                (instance ?POL Government)
                (exists (?GOV)
                    (and
                        (instance ?GOV Government)
                        (member ?POL ?GOV))))
            (or
                (agent ?PROC ?POL)
                (patient ?PROC ?POL)))))
Merge.kif 10298-10310
(=>
    (instance ?S Espionage)
    (exists (?GOV1 ?GOV2)
        (and
            (instance ?GOV1 Government)
            (instance ?GOV2 Government)
            (agent ?S ?GOV1)
            (patient ?S ?GOV2)
            (not
                (equal ?GOV1 ?GOV2)))))
Mid-level-ontology.kif 12302-12311
(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))
FinancialOntology.kif 876-881
(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))
Mid-level-ontology.kif 20633-20638


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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