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 e' uma sub-classe de InternationalOrganization

appearance as argument number 2

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

Colecao e' uma instancia de OrganizationOfNations Fisico e' membro de Colecao
Fisico e' uma instancia de Nacao

consequent

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

Geography.kif 3063-3067

Agreement e' uma instancia de InternationalAgreement AgreementOrganizationFn Agreement e' uma instancia de Organizacao
AgreementOrganizationFn Agreement e' uma instancia de OrganizationOfNations

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: