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 2513-2514
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2511-2511 subclass OrganizationOfNations and InternationalOrganization

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2854-2854 instance ASEANRegionalForum and OrganizationOfNations
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2732-2732 instance AfricanCaribbeanAndPacificGroupOfStates and OrganizationOfNations
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2738-2738 instance AfricanDevelopmentBank and OrganizationOfNations
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2746-2746 instance AgencyForTheFrenchSpeakingCommunity and OrganizationOfNations
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2753-2753 instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and OrganizationOfNations
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2762-2762 instance AndeanCommunityOfNations and OrganizationOfNations
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2779-2779 instance AntarcticTreatyCouncil and OrganizationOfNations
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2787-2787 instance ArabBankForEconomicDevelopmentInAfrica and OrganizationOfNations
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2795-2795 instance ArabCooperationCouncil and OrganizationOfNations
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2801-2801 instance ArabFundForEconomicAndSocialDevelopment and OrganizationOfNations
(instance ArabLeague OrganizationOfNations) Government.kif 2808-2808 instance ArabLeague and OrganizationOfNations
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2819-2819 instance ArabMaghrebUnion and OrganizationOfNations
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2828-2828 instance ArabMonetaryFund and OrganizationOfNations
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2834-2834 instance AsiaPacificEconomicCooperation and OrganizationOfNations
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2840-2840 instance AsianDevelopmentBank and OrganizationOfNations
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2846-2846 instance AssociationOfSoutheastAsianNations and OrganizationOfNations
(instance AustraliaGroup OrganizationOfNations) Government.kif 2861-2861 instance AustraliaGroup and OrganizationOfNations
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2866-2866 instance AustraliaNewZealandUnitedStatesSecurityTreaty and OrganizationOfNations
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2872-2872 instance BankForInternationalSettlements and OrganizationOfNations
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2878-2878 instance BeneluxEconomicUnion and OrganizationOfNations
(instance BigSeven OrganizationOfNations) Government.kif 2887-2887 instance BigSeven and OrganizationOfNations
(instance BigSix OrganizationOfNations) Government.kif 2892-2892 instance BigSix and OrganizationOfNations
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2898-2898 instance BlackSeaEconomicCooperationZone and OrganizationOfNations
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2905-2905 instance CaribbeanCommunityAndCommonMarket and OrganizationOfNations
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2912-2912 instance CaribbeanDevelopmentBank and OrganizationOfNations

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

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


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


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