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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Government
Government(government)ANG, ARNG, Air_National_Guard, Army, Army_National_Guard, Army_of_the_Confederacy, Bank_of_England, Bank_of_Japan, Bundesbank, Bush_administration, Capital, Carter_administration, Clinton_administration, Confederate, Confederate_Army, Downing_Street, Estates_General, European_Central_Bank, Executive_Office_of_the_President, F.I.S.C., FHA, FRS, Fed, Federal, Federal_Home_Loan_Bank_System, Federal_Housing_Administration, Federal_Judiciary, Federal_Reserve, Federal_Reserve_Board, Federal_Reserve_System, Federal_soldier, Foreign_Intelligence_Surveillance_Court, Green_Beret, Hanoverian, IC, Intelligence_Community, Janissary, Lancastrian, Marine, Minuteman, Mogul_empire, Mountie, National_Guard, National_Intelligence_Community, Old_Bailey, Patent_Office, Patent_and_Trademark_Office_Database, Ranger, Reagan_administration, Rota...

appearance as argument number 1
-------------------------


s__documentation(s__Government,s__ChineseLanguage,'"这是一个 GeopoliticalArea 的管治机构。"')

chinese_format.kif 3738-3738
s__documentation(s__Government,s__EnglishLanguage,'"The ruling body of a GeopoliticalArea."')

Merge.kif 15926-15926
s__instance(s__Government,s__SetOrClass)

s__instance(s__GovernmentOrganization,s__SetOrClass)

s__subclass(s__Government,s__GovernmentOrganization)

Merge.kif 15921-15921 Government is a subclass of government organization
s__instance(s__Government,s__SetOrClass)

s__instance(s__LegalAgent,s__SetOrClass)

s__subclass(s__Government,s__LegalAgent)

Merge.kif 15924-15924 Government is a subclass of LegalAgent

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


s__instance(s__Government,s__SetOrClass)

s__instance(s__USStateDepartment,s__Government)

Government.kif 2366-2366 US state department is an instance of government
s__range(s__GovernmentFn__m,s__Government)

Merge.kif 15931-15931 The range of government is an instance of government
s__instance(s__CityGovernment,s__SetOrClass)

s__instance(s__Government,s__SetOrClass)

s__subclass(s__CityGovernment,s__Government)

Mid-level-ontology.kif 7808-7808 City government is a subclass of government
s__instance(s__Government,s__SetOrClass)

s__subclass(s__FederalHousingAdministration,s__Government)

s__instance(s__FederalHousingAdministration,s__SetOrClass)

FinancialOntology.kif 1505-1505 Federal housing administration is a subclass of government
s__instance(s__Government,s__SetOrClass)

s__subclass(s__NationalGovernment,s__Government)

s__instance(s__NationalGovernment,s__SetOrClass)

Government.kif 103-103 National government is a subclass of government
s__instance(s__Government,s__SetOrClass)

s__subclass(s__StateGovernment,s__Government)

s__instance(s__StateGovernment,s__SetOrClass)

Mid-level-ontology.kif 7800-7800 State government is a subclass of government
s__termFormat(s__ChineseLanguage,s__Government,'"政府"')

chinese_format.kif 1070-1070
s__termFormat(s__EnglishLanguage,s__Government,'"government"')

english_format.kif 1356-1356

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__GovernmentOrganization) =>
         ( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__subOrganization(V__ORG,V__GOV)))))
     &
     (( ? [V__GOV] :
         ((s__instance(V__GOV,s__Government) &
             s__subOrganization(V__ORG,V__GOV))))
     =>
     s__instance(V__ORG,s__GovernmentOrganization)))
)
)

Merge.kif 15908-15913 An organization is an instance of government organization if and only if there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
( ! [V__ORG] :
   (((s__instance(V__ORG,s__GovernmentOrganization) =>
         (s__instance(V__ORG,s__Government) |
           ( ? [V__GOV] :
             ((s__instance(V__GOV,s__Government) &
                 s__subOrganization(V__ORG,V__GOV))))))
     &
     ((s__instance(V__ORG,s__Government) |
         ( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__subOrganization(V__ORG,V__GOV)))))
     =>
     s__instance(V__ORG,s__GovernmentOrganization)))
)
)

Government.kif 108-115 An organization is an instance of government organization if and only if the organization is an instance of government or there exists another organization such that the other organization is an instance of government and the organization is a part of the organization the other organization
( ! [V__GOVERNMENT,V__ATTRIBUTE] :
   ((s__instance(V__GOVERNMENT,s__Object) =>
       (((s__instance(V__ATTRIBUTE,s__PoliticoEconomicAttribute) &
             s__attribute(V__GOVERNMENT,V__ATTRIBUTE))
         =>
         (s__instance(V__GOVERNMENT,s__Government)))))
   )
)

Mid-level-ontology.kif 18124-18128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17284-17295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21182-21190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21087-21092
( ! [V__Bond] :
   ((s__instance(V__Bond,s__GovernmentBond) =>
       (( ? [V__Agent] :
           ((s__issuedBy(V__Bond,V__Agent)
             &
             s__instance(V__Agent,s__Government))))))
   )
)

FinancialOntology.kif 2374-2379
( ! [V__Bond] :
   ((s__instance(V__Bond,s__MunicipalBond) =>
       (( ? [V__Agent] :
           ((s__instance(V__Agent,s__Government) &
               s__issuedBy(V__Bond,V__Agent))))))
   )
)

FinancialOntology.kif 2308-2313
( ! [V__Bond] :
   ((s__instance(V__Bond,s__TreasuryBond) =>
       (( ? [V__Agent] :
           ((s__issuedBy(V__Bond,V__Agent)
             &
             s__instance(V__Agent,s__Government))))))
   )
)

FinancialOntology.kif 2407-2412
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__LegalCharge) =>
       (( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__agent(V__CHARGE,V__GOV))))))
   )
)

Mid-level-ontology.kif 14808-14813
( ! [V__E] :
   ((s__instance(V__E,s__Execution) =>
       (( ? [V__G] :
           ((s__instance(V__G,s__Government) &
               s__agent(V__E,V__G))))))
   )
)

Mid-level-ontology.kif 16879-16884
( ! [V__Mortgage] :
   ((s__instance(V__Mortgage,s__ConventionalMortgage) =>
       (~(( ? [V__Government] :
             ((s__instance(V__Government,s__Government) &
                 s__insured(V__Mortgage,V__Government)))))))
   )
)

FinancialOntology.kif 1511-1516
( ! [V__ORG] :
   ((s__instance(V__ORG,s__ServiceOrganization) =>
       (( ? [V__PROC, V__GOV] :
           ((s__instance(V__PROC,s__RegulatoryProcess) &
               s__patient(V__PROC,V__ORG)
             &
             s__agent(V__PROC,V__GOV)
           &
           s__instance(V__GOV,s__Government))))))
)
)

Mid-level-ontology.kif 7932-7939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6321-6331
( ! [V__P] :
   ((s__instance(V__P,s__PublicPark) =>
       (( ? [V__G] :
           ((s__instance(V__G,s__Government) &
               s__possesses(V__G,V__P))))))
   )
)

Mid-level-ontology.kif 7667-7672
( ! [V__PARK] :
   ((s__instance(V__PARK,s__Park) =>
       (( ? [V__GOV] :
           ((s__instance(V__GOV,s__Government) &
               s__possesses(V__GOV,V__PARK))))))
   )
)

Mid-level-ontology.kif 7648-7653
( ! [V__PROC] :
   ((s__instance(V__PROC,s__PoliticalProcess) =>
       (( ? [V__POL] :
           (((s__instance(V__POL,s__Government) |
                 ( ? [V__GOV] :
                   ((s__instance(V__GOV,s__Government) &
                       s__member(V__POL,V__GOV)))))
             &
             (s__agent(V__PROC,V__POL)
             |
             s__patient(V__PROC,V__POL)))))))
)
)

Merge.kif 10298-10310
( ! [V__S] :
   ((s__instance(V__S,s__Espionage) =>
       (( ? [V__GOV1, V__GOV2] :
           ((s__instance(V__GOV1,s__Government) &
               s__instance(V__GOV2,s__Government) &
               s__agent(V__S,V__GOV1)
             &
             s__patient(V__S,V__GOV2)
           &
           ~((V__GOV1 = V__GOV2)))))))
)
)

Mid-level-ontology.kif 12686-12695
( ! [V__Tax] :
   ((s__instance(V__Tax,s__Tax) =>
       (( ? [V__Org] :
           ((s__instance(V__Org,s__Government) &
               s__agent(V__Tax,V__Org))))))
   )
)

FinancialOntology.kif 876-881
( ! [V__X] :
   ((s__instance(V__X,s__GovernmentBuilding) =>
       (( ? [V__G] :
           ((s__instance(V__G,s__Government) &
               s__possesses(V__G,V__X))))))
   )
)

Mid-level-ontology.kif 21078-21083


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