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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Government

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 16785-16785
(subclass Government GovernmentOrganization) Merge.kif 16780-16780 政府政府组织subclass
(subclass Government LegalAgent) Merge.kif 16783-16783 政府LegalAgentsubclass

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


(instance USStateDepartment Government) Government.kif 2347-2347 美国国务院政府instance
(range GovernmentFn Government) Merge.kif 16790-16790 政府函数range政府 的实例
(subclass CityGovernment Government) Mid-level-ontology.kif 8548-8548 市政府政府subclass
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1550-1550 联邦住房管理局政府subclass
(subclass NationalGovernment Government) Government.kif 103-103 国家政府政府subclass
(subclass StateGovernment Government) Mid-level-ontology.kif 8540-8540 州政府政府subclass
(termFormat ChineseLanguage Government "政府") chinese_format.kif 1070-1070 州政府政府subclass
(termFormat EnglishLanguage Government "government") english_format.kif 1351-1351 州政府政府subclass
(termFormat FrenchLanguage Government "gouvernement") french_format.kif 748-748 州政府政府subclass
(termFormat Hindi Government "sarakaara") terms-hindi.txt 280-280 州政府政府subclass
(termFormat ItalianLanguage Government "Governo") terms-it.txt 283-283 州政府政府subclass
(termFormat JapaneseLanguage Government "政府") japanese_format.kif 2432-2432 州政府政府subclass
(termFormat PortugueseLanguage Government "Governo") portuguese_format.kif 700-700 州政府政府subclass
(termFormat cz Government "government") terms-cz.txt 319-319 州政府政府subclass
(termFormat ro Government "guvern") relations-ro.kif 769-769 州政府政府subclass
(termFormat tg Government "pamahalaan") terms-tg.txt 284-284 州政府政府subclass

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


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

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


(<=>
    (instance ?ORG GovernmentOrganization)
    (or
        (instance ?ORG Government)
        (exists (?GOV)
            (and
                (instance ?GOV Government)
                (subOrganization ?ORG ?GOV)))))
Government.kif 108-115 机构政府组织instance 若且唯若 那个 机构政府instance 或 有存在 另一个 机构 这样 那个 另外 机构政府instance那个 机构那个 另外 机构 Organization 的一部分
(=>
    (and
        (instance ?ATTRIBUTE PoliticoEconomicAttribute)
        (attribute ?GOVERNMENT ?ATTRIBUTE))
    (instance ?GOVERNMENT Government))
Mid-level-ontology.kif 19832-19836
(=>
    (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 18991-19002
(=>
    (attribute ?X PoliticalFigure)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (or
                (member ?X ?GOV)
                (desires ?X
                    (member ?X ?GOV))))))
Mid-level-ontology.kif 22858-22866
(=>
    (holdsDuring ?T1
        (attribute ?X GovernmentPerson))
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (holdsDuring ?T1
                (employs ?GOV ?X)))))
Mid-level-ontology.kif 22729-22734
(=>
    (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 16362-16367
(=>
    (instance ?E Execution)
    (exists (?G)
        (and
            (instance ?G Government)
            (agent ?E ?G))))
Mid-level-ontology.kif 18551-18556
(=>
    (instance ?G PublicGarden)
    (exists (?GOV)
        (and
            (instance ?GOV Government)
            (possesses ?GOV ?G))))
Mid-level-ontology.kif 8417-8422
(=>
    (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 16761-16766
(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))
Mid-level-ontology.kif 8672-8679
(=>
    (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 6986-6996
(=>
    (instance ?P PrivateOrganization)
    (not
        (exists (?G)
            (and
                (instance ?G Government)
                (possesses ?G ?P)))))
Mid-level-ontology.kif 6768-6774
(=>
    (instance ?P PublicPark)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?P))))
Mid-level-ontology.kif 8346-8351
(=>
    (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 10801-10813
(=>
    (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 14187-14196
(=>
    (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 22720-22725


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

Show without tree


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