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 è una sottoclasse di InternationalOrganization

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


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