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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationOfNations
OrganizationOfNationsorganization_of_nations

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


(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.") Government.kif 2475-2476
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2473-2473

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2811-2811
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2694-2694
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2700-2700
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2708-2708
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2715-2715
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2724-2724
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2736-2736
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2744-2744
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2752-2752
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2758-2758
(instance ArabLeague OrganizationOfNations) Government.kif 2765-2765
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2776-2776
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2785-2785
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2791-2791
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2797-2797
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2803-2803
(instance AustraliaGroup OrganizationOfNations) Government.kif 2818-2818
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2823-2823
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2829-2829
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2835-2835
(instance BigSeven OrganizationOfNations) Government.kif 2844-2844
(instance BigSix OrganizationOfNations) Government.kif 2849-2849
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2855-2855
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2862-2862
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2869-2869

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 2478-2482

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners