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 16883-16883
(subclass Government GovernmentOrganization) Merge.kif 16878-16878 政府GovernmentOrganizationsubclass では
(subclass Government LegalAgent) Merge.kif 16881-16881 政府LegalAgentsubclass では

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


(instance USStateDepartment Government) Government.kif 2346-2346 USStateDepartment政府instance では
(range GovernmentFn Government) Merge.kif 16888-16888 GovernmentFnrange政府 のインスタンス では
(subclass CityGovernment Government) Mid-level-ontology.kif 9536-9536 CityGovernment政府subclass では
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1566-1566 FederalHousingAdministration政府subclass では
(subclass NationalGovernment Government) Government.kif 103-103 NationalGovernment政府subclass では
(subclass StateGovernment Government) Mid-level-ontology.kif 9528-9528 StateGovernment政府subclass では
(termFormat ChineseLanguage Government "政府") chinese_format.kif 1070-1070 StateGovernment政府subclass では
(termFormat EnglishLanguage Government "government") english_format.kif 1351-1351 StateGovernment政府subclass では
(termFormat FrenchLanguage Government "gouvernement") french_format.kif 748-748 StateGovernment政府subclass では
(termFormat Hindi Government "sarakaara") terms-hindi.txt 280-280 StateGovernment政府subclass では
(termFormat ItalianLanguage Government "Governo") terms-it.txt 283-283 StateGovernment政府subclass では
(termFormat JapaneseLanguage Government "政府") japanese_format.kif 2432-2432 StateGovernment政府subclass では
(termFormat PortugueseLanguage Government "Governo") portuguese_format.kif 700-700 StateGovernment政府subclass では
(termFormat cz Government "government") terms-cz.txt 319-319 StateGovernment政府subclass では
(termFormat de Government "Regierung") terms-de.txt 578-578 StateGovernment政府subclass では
(termFormat ro Government "guvern") relations-ro.kif 769-769 StateGovernment政府subclass では
(termFormat tg Government "pamahalaan") terms-tg.txt 284-284 StateGovernment政府subclass では

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


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

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 組織GovernmentOrganizationinstance では 組織政府instance では 組織 組織政府instance では 組織 は組織 組織 の一部では
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 21113-21117
(=>
    (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 20272-20283
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 24184-24192
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 24055-24060
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2450-2455
(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2384-2389
(=>
    (instance ?Bond TreasuryBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2483-2488
(=>
    (instance ?CHARGE LegalCharge)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (agent ?CHARGE ?GOV))))
Mid-level-ontology.kif 17499-17504
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 19832-19837
(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))
Mid-level-ontology.kif 9366-9371
(=>
    (instance ?Mortgage ConventionalMortgage)
    (not
        (exists (?Government)
            (and
                (instance ?Government Government)
                (insured ?Mortgage ?Government)))))
FinancialOntology.kif 1572-1577
(=>
    (instance ?ORG GovernmentOrganization)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (subOrganization ?ORG ?GOV))))
Merge.kif 16859-16864
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 9660-9667
(=>
    (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 7929-7939
(=>
    (instance ?P PrivateOrganization)
    (not
        (exists (?G)
            (and
                (instance ?G Government)
                (possesses ?G ?P)))))
Mid-level-ontology.kif 7711-7717
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))
Mid-level-ontology.kif 9295-9300
(=>
    (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 10895-10907
(=>
    (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 15308-15317
(=>
    (instance ?Tax Tax)
    (exists (?Org)
        (and
            (instance ?Org Government)
            (agent ?Tax ?Org))))
FinancialOntology.kif 924-929
(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))
Mid-level-ontology.kif 24046-24051


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