TreeView Knowledge Base Browser - OrganizationOfNations

appearance as argument number 1

(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.")	Government.kif 2492-2493
(subclass OrganizationOfNations InternationalOrganization)	Government.kif 2490-2490

appearance as argument number 2

(instance ASEANRegionalForum OrganizationOfNations)	Government.kif 2838-2838
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations)	Government.kif 2711-2711
(instance AfricanDevelopmentBank OrganizationOfNations)	Government.kif 2717-2717
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations)	Government.kif 2725-2725
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations)	Government.kif 2737-2737
(instance AndeanCommunityOfNations OrganizationOfNations)	Government.kif 2746-2746
(instance AntarcticTreatyCouncil OrganizationOfNations)	Government.kif 2763-2763
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations)	Government.kif 2771-2771
(instance ArabCooperationCouncil OrganizationOfNations)	Government.kif 2779-2779
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations)	Government.kif 2785-2785
(instance ArabLeague OrganizationOfNations)	Government.kif 2792-2792
(instance ArabMaghrebUnion OrganizationOfNations)	Government.kif 2803-2803
(instance ArabMonetaryFund OrganizationOfNations)	Government.kif 2812-2812
(instance AsiaPacificEconomicCooperation OrganizationOfNations)	Government.kif 2818-2818
(instance AsianDevelopmentBank OrganizationOfNations)	Government.kif 2824-2824
(instance AssociationOfSoutheastAsianNations OrganizationOfNations)	Government.kif 2830-2830
(instance AustraliaGroup OrganizationOfNations)	Government.kif 2845-2845
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations)	Government.kif 2850-2850
(instance BankForInternationalSettlements OrganizationOfNations)	Government.kif 2856-2856
(instance BeneluxEconomicUnion OrganizationOfNations)	Government.kif 2862-2862
(instance BigSeven OrganizationOfNations)	Government.kif 2871-2871
(instance BigSix OrganizationOfNations)	Government.kif 2876-2876
(instance BlackSeaEconomicCooperationZone OrganizationOfNations)	Government.kif 2882-2882
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations)	Government.kif 2889-2889
(instance CaribbeanDevelopmentBank OrganizationOfNations)	Government.kif 2896-2896

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

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

KB Term:			Term intersection

English Word: