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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfNations
OrganizationOfNations

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


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

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2866-2866
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2744-2744
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2750-2750
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2758-2758
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2765-2765
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2774-2774
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2791-2791
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2799-2799
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2807-2807
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2813-2813
(instance ArabLeague OrganizationOfNations) Government.kif 2820-2820
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2831-2831
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2840-2840
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2846-2846
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2852-2852
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2858-2858
(instance AustraliaGroup OrganizationOfNations) Government.kif 2873-2873
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2878-2878
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2884-2884
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2890-2890
(instance BigSeven OrganizationOfNations) Government.kif 2899-2899
(instance BigSix OrganizationOfNations) Government.kif 2904-2904
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2910-2910
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2917-2917
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2924-2924

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

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


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


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