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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationOfNations

Sigma KEE - OrganizationOfNations
OrganizationOfNations

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


(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.") Government.kif 2528-2529
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2526-2526

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2874-2874
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2747-2747
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2753-2753
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2761-2761
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2773-2773
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2782-2782
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2799-2799
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2807-2807
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2815-2815
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2821-2821
(instance ArabLeague OrganizationOfNations) Government.kif 2828-2828
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2839-2839
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2848-2848
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2854-2854
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2860-2860
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2866-2866
(instance AustraliaGroup OrganizationOfNations) Government.kif 2881-2881
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2886-2886
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2892-2892
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2898-2898
(instance BigSeven OrganizationOfNations) Government.kif 2907-2907
(instance BigSix OrganizationOfNations) Government.kif 2912-2912
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2918-2918
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2925-2925
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2932-2932

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))
Government.kif 2531-2535

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


(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))
Geography.kif 3063-3067


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