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 16779-16779
(subclass Government GovernmentOrganization) Merge.kif 16774-16774 政府GovernmentOrganizationsubclass では %n
(subclass Government LegalAgent) Merge.kif 16777-16777 政府LegalAgentsubclass では %n

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


(instance USStateDepartment Government) Government.kif 2349-2349 USStateDepartment政府instance では %n
(range GovernmentFn Government) Merge.kif 16784-16784 GovernmentFnrange政府 のインスタンス では %n
(subclass CityGovernment Government) Mid-level-ontology.kif 8357-8357 CityGovernment政府subclass では %n
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1550-1550 FederalHousingAdministration政府subclass では %n
(subclass NationalGovernment Government) Government.kif 103-103 NationalGovernment政府subclass では %n
(subclass StateGovernment Government) Mid-level-ontology.kif 8349-8349 StateGovernment政府subclass では %n
(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 16762-16766

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 組織GovernmentOrganizationinstance では %n 組織政府instance では %n 組織 組織政府instance では %n 組織 は組織 組織 の一部では %n
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 19569-19573
(=>
    (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 18728-18739
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 22595-22603
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 22466-22471
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2433-2438
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2367-2372
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2466-2471
(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))
Mid-level-ontology.kif 16139-16144
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 18288-18293
(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))
Mid-level-ontology.kif 8226-8231
(=>
    (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 16755-16760
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 8481-8488
(=>
    (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 6795-6805
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))
Mid-level-ontology.kif 8155-8160
(=>
    (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 10791-10803
(=>
    (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 13964-13973
(=>
    (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 22457-22462


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