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 2528-2529
(subclass OrganizationOfNations InternationalOrganization)	Government.kif 2526-2526	OrganizationOfNations は InternationalOrganization の subclass では %n

appearance as argument number 2

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

コレクションは 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: