OrganizationOfNations - Sigma Knowledge base Browser

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 ist eine teilkategorie von InternationalOrganization

appearance as argument number 2

(instance ASEANRegionalForum OrganizationOfNations)	Government.kif 2874-2874	ASEANRegionalForum ist ein fall von OrganizationOfNations %n{nicht}
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations)	Government.kif 2747-2747	AfricanCaribbeanAndPacificGroupOfStates ist ein fall von OrganizationOfNations %n{nicht}
(instance AfricanDevelopmentBank OrganizationOfNations)	Government.kif 2753-2753	AfricanDevelopmentBank ist ein fall von OrganizationOfNations %n{nicht}
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations)	Government.kif 2761-2761	AgencyForTheFrenchSpeakingCommunity ist ein fall von OrganizationOfNations %n{nicht}
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations)	Government.kif 2773-2773	AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean ist ein fall von OrganizationOfNations %n{nicht}
(instance AndeanCommunityOfNations OrganizationOfNations)	Government.kif 2782-2782	AndeanCommunityOfNations ist ein fall von OrganizationOfNations %n{nicht}
(instance AntarcticTreatyCouncil OrganizationOfNations)	Government.kif 2799-2799	AntarcticTreatyCouncil ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations)	Government.kif 2807-2807	ArabBankForEconomicDevelopmentInAfrica ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabCooperationCouncil OrganizationOfNations)	Government.kif 2815-2815	ArabCooperationCouncil ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations)	Government.kif 2821-2821	ArabFundForEconomicAndSocialDevelopment ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabLeague OrganizationOfNations)	Government.kif 2828-2828	ArabLeague ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabMaghrebUnion OrganizationOfNations)	Government.kif 2839-2839	ArabMaghrebUnion ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabMonetaryFund OrganizationOfNations)	Government.kif 2848-2848	ArabMonetaryFund ist ein fall von OrganizationOfNations %n{nicht}
(instance AsiaPacificEconomicCooperation OrganizationOfNations)	Government.kif 2854-2854	AsiaPacificEconomicCooperation ist ein fall von OrganizationOfNations %n{nicht}
(instance AsianDevelopmentBank OrganizationOfNations)	Government.kif 2860-2860	AsianDevelopmentBank ist ein fall von OrganizationOfNations %n{nicht}
(instance AssociationOfSoutheastAsianNations OrganizationOfNations)	Government.kif 2866-2866	AssociationOfSoutheastAsianNations ist ein fall von OrganizationOfNations %n{nicht}
(instance AustraliaGroup OrganizationOfNations)	Government.kif 2881-2881	AustraliaGroup ist ein fall von OrganizationOfNations %n{nicht}
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations)	Government.kif 2886-2886	AustraliaNewZealandUnitedStatesSecurityTreaty ist ein fall von OrganizationOfNations %n{nicht}
(instance BankForInternationalSettlements OrganizationOfNations)	Government.kif 2892-2892	BankForInternationalSettlements ist ein fall von OrganizationOfNations %n{nicht}
(instance BeneluxEconomicUnion OrganizationOfNations)	Government.kif 2898-2898	BeneluxEconomicUnion ist ein fall von OrganizationOfNations %n{nicht}
(instance BigSeven OrganizationOfNations)	Government.kif 2907-2907	BigSeven ist ein fall von OrganizationOfNations %n{nicht}
(instance BigSix OrganizationOfNations)	Government.kif 2912-2912	BigSix ist ein fall von OrganizationOfNations %n{nicht}
(instance BlackSeaEconomicCooperationZone OrganizationOfNations)	Government.kif 2918-2918	BlackSeaEconomicCooperationZone ist ein fall von OrganizationOfNations %n{nicht}
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations)	Government.kif 2925-2925	CaribbeanCommunityAndCommonMarket ist ein fall von OrganizationOfNations %n{nicht}
(instance CaribbeanDevelopmentBank OrganizationOfNations)	Government.kif 2932-2932	CaribbeanDevelopmentBank ist ein fall von OrganizationOfNations %n{nicht}

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

Wenn Collection ist ein fall von OrganizationOfNations %n{nicht} und Physical ist ein Mitglied von ** Collection %n{nicht},
dann ** Physical ist ein fall von Nation %n{nicht}

consequent

(=>
    (and
        (instance ?AGR InternationalAgreement)
        (instance
            (AgreementOrganizationFn ?AGR) Organization))
    (instance
        (AgreementOrganizationFn ?AGR) OrganizationOfNations))

Geography.kif 3063-3067

Wenn Agreement ist ein fall von InternationalAgreement %n{nicht} und AgreementOrganizationFn ** Agreement ist ein fall von Organization %n{nicht},
dann AgreementOrganizationFn ** Agreement ist ein fall von OrganizationOfNations %n{nicht}

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

KB Term:			Term intersection

English Word: