TreeView Knowledge Base Browser - OrganizationOfNations

appearance as argument number 1

(documentation OrganizationOfNations EnglishLanguage "This is the class of Organizations whose members are Nations.")	Government.kif 2492-2493
(subclass OrganizationOfNations InternationalOrganization)	Government.kif 2490-2490	OrganizationOfNations ist eine teilkategorie von InternationalOrganization

appearance as argument number 2

(instance ASEANRegionalForum OrganizationOfNations)	Government.kif 2838-2838	ASEANRegionalForum ist ein fall von OrganizationOfNations %n{nicht}
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations)	Government.kif 2711-2711	AfricanCaribbeanAndPacificGroupOfStates ist ein fall von OrganizationOfNations %n{nicht}
(instance AfricanDevelopmentBank OrganizationOfNations)	Government.kif 2717-2717	AfricanDevelopmentBank ist ein fall von OrganizationOfNations %n{nicht}
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations)	Government.kif 2725-2725	AgencyForTheFrenchSpeakingCommunity ist ein fall von OrganizationOfNations %n{nicht}
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations)	Government.kif 2737-2737	AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean ist ein fall von OrganizationOfNations %n{nicht}
(instance AndeanCommunityOfNations OrganizationOfNations)	Government.kif 2746-2746	AndeanCommunityOfNations ist ein fall von OrganizationOfNations %n{nicht}
(instance AntarcticTreatyCouncil OrganizationOfNations)	Government.kif 2763-2763	AntarcticTreatyCouncil ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations)	Government.kif 2771-2771	ArabBankForEconomicDevelopmentInAfrica ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabCooperationCouncil OrganizationOfNations)	Government.kif 2779-2779	ArabCooperationCouncil ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations)	Government.kif 2785-2785	ArabFundForEconomicAndSocialDevelopment ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabLeague OrganizationOfNations)	Government.kif 2792-2792	ArabLeague ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabMaghrebUnion OrganizationOfNations)	Government.kif 2803-2803	ArabMaghrebUnion ist ein fall von OrganizationOfNations %n{nicht}
(instance ArabMonetaryFund OrganizationOfNations)	Government.kif 2812-2812	ArabMonetaryFund ist ein fall von OrganizationOfNations %n{nicht}
(instance AsiaPacificEconomicCooperation OrganizationOfNations)	Government.kif 2818-2818	AsiaPacificEconomicCooperation ist ein fall von OrganizationOfNations %n{nicht}
(instance AsianDevelopmentBank OrganizationOfNations)	Government.kif 2824-2824	AsianDevelopmentBank ist ein fall von OrganizationOfNations %n{nicht}
(instance AssociationOfSoutheastAsianNations OrganizationOfNations)	Government.kif 2830-2830	AssociationOfSoutheastAsianNations ist ein fall von OrganizationOfNations %n{nicht}
(instance AustraliaGroup OrganizationOfNations)	Government.kif 2845-2845	AustraliaGroup ist ein fall von OrganizationOfNations %n{nicht}
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations)	Government.kif 2850-2850	AustraliaNewZealandUnitedStatesSecurityTreaty ist ein fall von OrganizationOfNations %n{nicht}
(instance BankForInternationalSettlements OrganizationOfNations)	Government.kif 2856-2856	BankForInternationalSettlements ist ein fall von OrganizationOfNations %n{nicht}
(instance BeneluxEconomicUnion OrganizationOfNations)	Government.kif 2862-2862	BeneluxEconomicUnion ist ein fall von OrganizationOfNations %n{nicht}
(instance BigSeven OrganizationOfNations)	Government.kif 2871-2871	BigSeven ist ein fall von OrganizationOfNations %n{nicht}
(instance BigSix OrganizationOfNations)	Government.kif 2876-2876	BigSix ist ein fall von OrganizationOfNations %n{nicht}
(instance BlackSeaEconomicCooperationZone OrganizationOfNations)	Government.kif 2882-2882	BlackSeaEconomicCooperationZone ist ein fall von OrganizationOfNations %n{nicht}
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations)	Government.kif 2889-2889	CaribbeanCommunityAndCommonMarket ist ein fall von OrganizationOfNations %n{nicht}
(instance CaribbeanDevelopmentBank OrganizationOfNations)	Government.kif 2896-2896	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 2495-2499

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

KB Term:			Term intersection

English Word: