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 16883-16883
(subclass Government GovernmentOrganization) Merge.kif 16878-16878 Gouvernement est une sous-classe de GovernmentOrganization
(subclass Government LegalAgent) Merge.kif 16881-16881 Gouvernement est une sous-classe de LegalAgent

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


(instance USStateDepartment Government) Government.kif 2346-2346 USStateDepartment est une instance de gouvernement
(range GovernmentFn Government) Merge.kif 16888-16888 Le domaine de GovernmentFn est une instance de gouvernement
(subclass CityGovernment Government) Mid-level-ontology.kif 9536-9536 CityGovernment est une sous-classe de gouvernement
(subclass FederalHousingAdministration Government) FinancialOntology.kif 1566-1566 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 9528-9528 StateGovernment est une sous-classe de gouvernement
(termFormat ChineseLanguage Government "政府") chinese_format.kif 1070-1070 StateGovernment est une sous-classe de gouvernement
(termFormat EnglishLanguage Government "government") english_format.kif 1351-1351 StateGovernment est une sous-classe de gouvernement
(termFormat FrenchLanguage Government "gouvernement") french_format.kif 748-748 StateGovernment est une sous-classe de gouvernement
(termFormat Hindi Government "sarakaara") terms-hindi.txt 280-280 StateGovernment est une sous-classe de gouvernement
(termFormat ItalianLanguage Government "Governo") terms-it.txt 283-283 StateGovernment est une sous-classe de gouvernement
(termFormat JapaneseLanguage Government "政府") japanese_format.kif 2432-2432 StateGovernment est une sous-classe de gouvernement
(termFormat PortugueseLanguage Government "Governo") portuguese_format.kif 700-700 StateGovernment est une sous-classe de gouvernement
(termFormat cz Government "government") terms-cz.txt 319-319 StateGovernment est une sous-classe de gouvernement
(termFormat de Government "Regierung") terms-de.txt 578-578 StateGovernment est une sous-classe de gouvernement
(termFormat ro Government "guvern") relations-ro.kif 769-769 StateGovernment est une sous-classe de gouvernement
(termFormat tg Government "pamahalaan") terms-tg.txt 284-284 StateGovernment est une sous-classe de gouvernement

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 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 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