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 2528-2529
(subclass OrganizationOfNations InternationalOrganization) Government.kif 2526-2526 OrganizationOfNations est une sous-classe de InternationalOrganization

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


(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2874-2874 ASEANRegionalForum est une instance de OrganizationOfNations
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations) Government.kif 2747-2747 AfricanCaribbeanAndPacificGroupOfStates est une instance de OrganizationOfNations
(instance AfricanDevelopmentBank OrganizationOfNations) Government.kif 2753-2753 AfricanDevelopmentBank est une instance de OrganizationOfNations
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations) Government.kif 2761-2761 AgencyForTheFrenchSpeakingCommunity est une instance de OrganizationOfNations
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations) Government.kif 2773-2773 AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean est une instance de OrganizationOfNations
(instance AndeanCommunityOfNations OrganizationOfNations) Government.kif 2782-2782 AndeanCommunityOfNations est une instance de OrganizationOfNations
(instance AntarcticTreatyCouncil OrganizationOfNations) Government.kif 2799-2799 AntarcticTreatyCouncil est une instance de OrganizationOfNations
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations) Government.kif 2807-2807 ArabBankForEconomicDevelopmentInAfrica est une instance de OrganizationOfNations
(instance ArabCooperationCouncil OrganizationOfNations) Government.kif 2815-2815 ArabCooperationCouncil est une instance de OrganizationOfNations
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations) Government.kif 2821-2821 ArabFundForEconomicAndSocialDevelopment est une instance de OrganizationOfNations
(instance ArabLeague OrganizationOfNations) Government.kif 2828-2828 ArabLeague est une instance de OrganizationOfNations
(instance ArabMaghrebUnion OrganizationOfNations) Government.kif 2839-2839 ArabMaghrebUnion est une instance de OrganizationOfNations
(instance ArabMonetaryFund OrganizationOfNations) Government.kif 2848-2848 ArabMonetaryFund est une instance de OrganizationOfNations
(instance AsiaPacificEconomicCooperation OrganizationOfNations) Government.kif 2854-2854 AsiaPacificEconomicCooperation est une instance de OrganizationOfNations
(instance AsianDevelopmentBank OrganizationOfNations) Government.kif 2860-2860 AsianDevelopmentBank est une instance de OrganizationOfNations
(instance AssociationOfSoutheastAsianNations OrganizationOfNations) Government.kif 2866-2866 AssociationOfSoutheastAsianNations est une instance de OrganizationOfNations
(instance AustraliaGroup OrganizationOfNations) Government.kif 2881-2881 AustraliaGroup est une instance de OrganizationOfNations
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations) Government.kif 2886-2886 AustraliaNewZealandUnitedStatesSecurityTreaty est une instance de OrganizationOfNations
(instance BankForInternationalSettlements OrganizationOfNations) Government.kif 2892-2892 BankForInternationalSettlements est une instance de OrganizationOfNations
(instance BeneluxEconomicUnion OrganizationOfNations) Government.kif 2898-2898 BeneluxEconomicUnion est une instance de OrganizationOfNations
(instance BigSeven OrganizationOfNations) Government.kif 2907-2907 BigSeven est une instance de OrganizationOfNations
(instance BigSix OrganizationOfNations) Government.kif 2912-2912 BigSix est une instance de OrganizationOfNations
(instance BlackSeaEconomicCooperationZone OrganizationOfNations) Government.kif 2918-2918 BlackSeaEconomicCooperationZone est une instance de OrganizationOfNations
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations) Government.kif 2925-2925 CaribbeanCommunityAndCommonMarket est une instance de OrganizationOfNations
(instance CaribbeanDevelopmentBank OrganizationOfNations) Government.kif 2932-2932 CaribbeanDevelopmentBank est une instance de 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 2531-2535

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