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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Government
Government(government)ANG, ARNG, Air_National_Guard, Army, Army_National_Guard, Army_of_the_Confederacy, Bank_of_England, Bank_of_Japan, Bundesbank, Bush_administration, Capital, Carter_administration, Clinton_administration, Confederate, Confederate_Army, Downing_Street, Estates_General, European_Central_Bank, Executive_Office_of_the_President, F.I.S.C., FHA, FRS, Fed, Federal, Federal_Home_Loan_Bank_System, Federal_Housing_Administration, Federal_Judiciary, Federal_Reserve, Federal_Reserve_Board, Federal_Reserve_System, Federal_soldier, Foreign_Intelligence_Surveillance_Court, Green_Beret, Hanoverian, IC, Intelligence_Community, Janissary, Lancastrian, Marine, Minuteman, Mogul_empire, Mountie, National_Guard, National_Intelligence_Community, Old_Bailey, Patent_Office, Patent_and_Trademark_Office_Database, Ranger, Reagan_administration, Rota...

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 15512-15512
(subclass Government GovernmentOrganization) Merge.kif 15507-15507 Government is a subclass of government organization
(subclass Government LegalAgent) Merge.kif 15510-15510 Government is a subclass of LegalAgent

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


(instance USStateDepartment Government) Government.kif 2326-2326 US state department is an instance of government
(range GovernmentFn Government) Merge.kif 15517-15517 The range of government is an instance of government
(subclass CityGovernment Government) Mid-level-ontology.kif 8041-8041 City government is a subclass of government
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1492-1492 Federal housing administration is a subclass of government
(subclass NationalGovernment Government) Government.kif 103-103 National government is a subclass of government
(subclass StateGovernment Government) Mid-level-ontology.kif 8021-8021 State government is a subclass of government
(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 15494-15499 An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization は組織 the other organization の一部では %n
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 17375-17379
(=>
    (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 16423-16434
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 20469-20477
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 20347-20352
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2355-2360
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2289-2294
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2388-2393
(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))
Mid-level-ontology.kif 13816-13821
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 16006-16011
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1498-1503
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 8185-8192
(=>
    (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 6434-6444
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))
Mid-level-ontology.kif 7870-7875
(=>
    (instance ?PARK Park)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?PARK))))
Mid-level-ontology.kif 7851-7856
(=>
    (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 10022-10034
(=>
    (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 11598-11607
(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))
FinancialOntology.kif 866-871
(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))
Mid-level-ontology.kif 20338-20343


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners