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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Government
Government(gouvernement)

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 16678-16678
(subclass Government GovernmentOrganization) Merge.kif 16673-16673 Gouvernement est une sous-classe de GovernmentOrganization
(subclass Government LegalAgent) Merge.kif 16676-16676 Gouvernement est une sous-classe de LegalAgent

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


(instance USStateDepartment Government) Government.kif 2385-2385 USStateDepartment est une instance de gouvernement
(range GovernmentFn Government) Merge.kif 16683-16683 Le domaine de GovernmentFn est une instance de gouvernement
(subclass CityGovernment Government) Mid-level-ontology.kif 8302-8302 CityGovernment est une sous-classe de gouvernement
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1550-1550 FederalHousingAdministration est une sous-classe de gouvernement
(subclass NationalGovernment Government) Government.kif 103-103 NationalGovernment est une sous-classe de gouvernement
(subclass StateGovernment Government) Mid-level-ontology.kif 8294-8294 StateGovernment est une sous-classe de gouvernement
(termFormat ChineseLanguage Government "政府") chinese_format.kif 1070-1070
(termFormat EnglishLanguage Government "government") english_format.kif 1351-1351
(termFormat FrenchLanguage Government "gouvernement") french_format.kif 748-748
(termFormat Hindi Government "sarakaara") terms-hindi.txt 280-280
(termFormat ItalianLanguage Government "Governo") terms-it.txt 283-283
(termFormat JapaneseLanguage Government "政府") japanese_format.kif 2432-2432
(termFormat PortugueseLanguage Government "Governo") portuguese_format.kif 700-700
(termFormat cz Government "government") terms-cz.txt 319-319
(termFormat ro Government "guvern") relations-ro.kif 769-769
(termFormat tg Government "pamahalaan") terms-tg.txt 284-284

antecedent
-------------------------


(=>
    (and
        (instance ?GOV Government)
        (subOrganization ?ORG ?GOV))
    (instance ?ORG GovernmentOrganization))		 Merge.kif 16661-16665

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))		 Government.kif 108-115 Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))		 Mid-level-ontology.kif 19488-19492
(=>
    (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 18647-18658
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))		 Mid-level-ontology.kif 22493-22501
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))		 Mid-level-ontology.kif 22364-22369
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))		 FinancialOntology.kif 2447-2452
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))		 FinancialOntology.kif 2381-2386
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))		 FinancialOntology.kif 2480-2485
(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))		 Mid-level-ontology.kif 16083-16088
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))		 Mid-level-ontology.kif 18209-18214
(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))		 Mid-level-ontology.kif 8171-8176
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))		 FinancialOntology.kif 1556-1561
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))		 Merge.kif 16654-16659
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))		 Mid-level-ontology.kif 8426-8433
(=>
    (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 6740-6750
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))		 Mid-level-ontology.kif 8100-8105
(=>
    (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 10757-10769
(=>
    (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 13908-13917
(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))		 FinancialOntology.kif 922-927
(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))		 Mid-level-ontology.kif 22355-22360


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