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 は InternationalOrganization の subclass では %n

appearance as argument number 2

(instance ASEANRegionalForum OrganizationOfNations)	Government.kif 2838-2838	ASEANRegionalForum は OrganizationOfNations の instance では %n
(instance AfricanCaribbeanAndPacificGroupOfStates OrganizationOfNations)	Government.kif 2711-2711	AfricanCaribbeanAndPacificGroupOfStates は OrganizationOfNations の instance では %n
(instance AfricanDevelopmentBank OrganizationOfNations)	Government.kif 2717-2717	AfricanDevelopmentBank は OrganizationOfNations の instance では %n
(instance AgencyForTheFrenchSpeakingCommunity OrganizationOfNations)	Government.kif 2725-2725	AgencyForTheFrenchSpeakingCommunity は OrganizationOfNations の instance では %n
(instance AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean OrganizationOfNations)	Government.kif 2737-2737	AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean は OrganizationOfNations の instance では %n
(instance AndeanCommunityOfNations OrganizationOfNations)	Government.kif 2746-2746	AndeanCommunityOfNations は OrganizationOfNations の instance では %n
(instance AntarcticTreatyCouncil OrganizationOfNations)	Government.kif 2763-2763	AntarcticTreatyCouncil は OrganizationOfNations の instance では %n
(instance ArabBankForEconomicDevelopmentInAfrica OrganizationOfNations)	Government.kif 2771-2771	ArabBankForEconomicDevelopmentInAfrica は OrganizationOfNations の instance では %n
(instance ArabCooperationCouncil OrganizationOfNations)	Government.kif 2779-2779	ArabCooperationCouncil は OrganizationOfNations の instance では %n
(instance ArabFundForEconomicAndSocialDevelopment OrganizationOfNations)	Government.kif 2785-2785	ArabFundForEconomicAndSocialDevelopment は OrganizationOfNations の instance では %n
(instance ArabLeague OrganizationOfNations)	Government.kif 2792-2792	ArabLeague は OrganizationOfNations の instance では %n
(instance ArabMaghrebUnion OrganizationOfNations)	Government.kif 2803-2803	ArabMaghrebUnion は OrganizationOfNations の instance では %n
(instance ArabMonetaryFund OrganizationOfNations)	Government.kif 2812-2812	ArabMonetaryFund は OrganizationOfNations の instance では %n
(instance AsiaPacificEconomicCooperation OrganizationOfNations)	Government.kif 2818-2818	AsiaPacificEconomicCooperation は OrganizationOfNations の instance では %n
(instance AsianDevelopmentBank OrganizationOfNations)	Government.kif 2824-2824	AsianDevelopmentBank は OrganizationOfNations の instance では %n
(instance AssociationOfSoutheastAsianNations OrganizationOfNations)	Government.kif 2830-2830	AssociationOfSoutheastAsianNations は OrganizationOfNations の instance では %n
(instance AustraliaGroup OrganizationOfNations)	Government.kif 2845-2845	AustraliaGroup は OrganizationOfNations の instance では %n
(instance AustraliaNewZealandUnitedStatesSecurityTreaty OrganizationOfNations)	Government.kif 2850-2850	AustraliaNewZealandUnitedStatesSecurityTreaty は OrganizationOfNations の instance では %n
(instance BankForInternationalSettlements OrganizationOfNations)	Government.kif 2856-2856	BankForInternationalSettlements は OrganizationOfNations の instance では %n
(instance BeneluxEconomicUnion OrganizationOfNations)	Government.kif 2862-2862	BeneluxEconomicUnion は OrganizationOfNations の instance では %n
(instance BigSeven OrganizationOfNations)	Government.kif 2871-2871	BigSeven は OrganizationOfNations の instance では %n
(instance BigSix OrganizationOfNations)	Government.kif 2876-2876	BigSix は OrganizationOfNations の instance では %n
(instance BlackSeaEconomicCooperationZone OrganizationOfNations)	Government.kif 2882-2882	BlackSeaEconomicCooperationZone は OrganizationOfNations の instance では %n
(instance CaribbeanCommunityAndCommonMarket OrganizationOfNations)	Government.kif 2889-2889	CaribbeanCommunityAndCommonMarket は OrganizationOfNations の instance では %n
(instance CaribbeanDevelopmentBank OrganizationOfNations)	Government.kif 2896-2896	CaribbeanDevelopmentBank は OrganizationOfNations の instance では %n

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

コレクションは OrganizationOfNations の instance では %n 物理はコレクションの member では %n
物理は国民の instance では %n

consequent

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

Geography.kif 3063-3067

Agreement は InternationalAgreement の instance では %n AgreementOrganizationFn Agreement は組織の instance では %n
AgreementOrganizationFn Agreement は OrganizationOfNations の instance では %n

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: