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 2489-2490
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2487-2487

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2835-2835
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2708-2708
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2714-2714
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2722-2722
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2734-2734
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2743-2743
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2760-2760
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2768-2768
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2776-2776
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2782-2782
(instance ArabLeague OrganizationOfNations) Government.kif 2789-2789
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2800-2800
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2809-2809
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2815-2815
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2821-2821
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2827-2827
(instance AustraliaGroup OrganizationOfNations) Government.kif 2842-2842
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2847-2847
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2853-2853
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2859-2859
(instance BigSeven OrganizationOfNations) Government.kif 2868-2868
(instance BigSix OrganizationOfNations) Government.kif 2873-2873
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2879-2879
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2886-2886
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2893-2893

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 2492-2496

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


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


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