Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  organizationalObjective

Sigma KEE - organizationalObjective
organizationalObjective

appearance as argument number 1
-------------------------


(instance organizationalObjective BinaryPredicate) Government.kif 2584-2584 organizational objective is an instance of binary predicate
(domain organizationalObjective 1 AutonomousAgent) Government.kif 2585-2585 The number 1 argument of organizational objective is an instance of agent
(domain organizationalObjective 2 AreaOfConcern) Government.kif 2586-2586 The number 2 argument of organizational objective is an instance of area of concern
(subrelation organizationalObjective attribute) Government.kif 2587-2587 organizational objective is a subrelation of attribute
(documentation organizationalObjective EnglishLanguage "(organizationalObjective ?AGENT ?FOCUS) means that the AutonomousAgent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS.") Government.kif 2590-2592 organizational objective is a subrelation of attribute

appearance as argument number 2
-------------------------


(format EnglishLanguage organizationalObjective "%2 is %n an organizational objective of %1") domainEnglishFormat.kif 1861-1861
(format ChineseTraditionalLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目標") domainEnglishFormat.kif 1862-1862
(format ChineseLanguage organizationalObjective "%2 %n 是 %1 的 organizational 目标") domainEnglishFormat.kif 1863-1863
(termFormat EnglishLanguage organizationalObjective "organizational objective") domainEnglishFormat.kif 42491-42491
(termFormat ChineseTraditionalLanguage organizationalObjective "組織目標") domainEnglishFormat.kif 42492-42492
(termFormat ChineseLanguage organizationalObjective "组织目标") domainEnglishFormat.kif 42493-42493

antecedent
-------------------------


(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (organizationalObjective ?GROUP ?AIM)
        (instance ?ORG GovernmentOrganization)
        (organizationalObjective ?ORG ?AIM))
    (inScopeOfInterest ?GROUP ?ORG))
Government.kif 2341-2347 If X is an instance of political pressure group, Y is an organizational objective of X, Z is an instance of government organization, and Y is an organizational objective of Z, then X is interested in Z
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))
Government.kif 2594-2598 If X is an organizational objective of Y and X is a subattribute of Z, then Z is an organizational objective of Y
(=>
    (and
        (instance ?AGENT InternationalOrganization)
        (organizationalObjective ?AGENT ?TOPIC))
    (instance ?TOPIC TransnationalIssue))
Government.kif 2606-2610 If X is an instance of international organization and Y is an organizational objective of X, then Y is an instance of transnational issue

consequent
-------------------------


(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))
Government.kif 2594-2598 If X is an organizational objective of Y and X is a subattribute of Z, then Z is an organizational objective of Y

appearance as argument number 0
-------------------------


(organizationalObjective AfricanCaribbeanAndPacificGroupOfStates EconomicCooperation) Government.kif 2743-2743 Economic cooperation is an organizational objective of african caribbean and pacific group of states
(organizationalObjective AfricanDevelopmentBank EconomicDevelopment) Government.kif 2750-2750 Economic development is an organizational objective of african development bank
(organizationalObjective AfricanDevelopmentBank SocialDevelopment) Government.kif 2751-2751 Social development is an organizational objective of african development bank
(organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean NuclearNonproliferation) Government.kif 2771-2771 Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
(organizationalObjective AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean PeacefulUseOfAtomicPower) Government.kif 2772-2772 Peaceful use of atomic power is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
(organizationalObjective AndeanCommunityOfNations EconomicIntegration) Government.kif 2789-2789 Economic integration is an organizational objective of andean community of nations
(organizationalObjective AntarcticTreatyCouncil AdministrationAndManagement) Government.kif 2794-2794 Administration and management is an organizational objective of antarctic treaty council
(organizationalObjective AntarcticTreatyCouncil PromoteRegionalStability) Government.kif 2795-2795 Promote regional stability is an organizational objective of antarctic treaty council
(organizationalObjective ArabBankForEconomicDevelopmentInAfrica EconomicDevelopment) Government.kif 2805-2805 Economic development is an organizational objective of arab bank for economic development in africa
(organizationalObjective ArabCooperationCouncil EconomicIntegration) Government.kif 2811-2811 Economic integration is an organizational objective of arab cooperation council
(organizationalObjective ArabFundForEconomicAndSocialDevelopment EconomicDevelopment) Government.kif 2817-2817 Economic development is an organizational objective of arab fund for economic and social development
(organizationalObjective ArabFundForEconomicAndSocialDevelopment SocialDevelopment) Government.kif 2818-2818 Social development is an organizational objective of arab fund for economic and social development
(organizationalObjective ArabLeague EconomicCooperation) Government.kif 2826-2826 Economic cooperation is an organizational objective of arab league
(organizationalObjective ArabLeague SocialCooperation) Government.kif 2827-2827 Social cooperation is an organizational objective of arab league
(organizationalObjective ArabLeague PoliticalCooperation) Government.kif 2828-2828 Political cooperation is an organizational objective of arab league
(organizationalObjective ArabLeague MilitaryCooperation) Government.kif 2829-2829 Military cooperation is an organizational objective of arab league
(organizationalObjective ArabMaghrebUnion EconomicIntegration) Government.kif 2835-2835 Economic integration is an organizational objective of arab maghreb union
(organizationalObjective ArabMaghrebUnion CulturalCooperation) Government.kif 2836-2836 Cultural cooperation is an organizational objective of arab maghreb union
(organizationalObjective ArabMaghrebUnion PoliticalCooperation) Government.kif 2837-2837 Political cooperation is an organizational objective of arab maghreb union
(organizationalObjective ArabMaghrebUnion MilitaryCooperation) Government.kif 2838-2838 Military cooperation is an organizational objective of arab maghreb union
(organizationalObjective ArabMonetaryFund EconomicCooperation) Government.kif 2844-2844 Economic cooperation is an organizational objective of arab monetary fund
(organizationalObjective AsiaPacificEconomicCooperation PromotionOfTradeAndInvestment) Government.kif 2850-2850 Promotion of trade and investment is an organizational objective of asia pacific economic cooperation
(organizationalObjective AsianDevelopmentBank EconomicCooperation) Government.kif 2856-2856 Economic cooperation is an organizational objective of asian development bank
(organizationalObjective AssociationOfSoutheastAsianNations EconomicCooperation) Government.kif 2862-2862 Economic cooperation is an organizational objective of association of southeast asian nations
(organizationalObjective AssociationOfSoutheastAsianNations SocialCooperation) Government.kif 2863-2863 Social cooperation is an organizational objective of association of southeast asian nations

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners