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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - organizationalObjective
organizationalObjective

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


s__documentation(s__organizationalObjective__m,s__EnglishLanguage,'"(organizationalObjective ?AGENT ?FOCUS) means that the Agent ?AGENT has significant aims and concerns characterized by the AreaOfConcern ?FOCUS."')

Government.kif 2571-2573
s__domain(s__organizationalObjective__m,n__1,s__Agent)

Government.kif 2566-2566 The number 1 argument of organizational objective is an instance of agent
s__domain(s__organizationalObjective__m,n__2,s__AreaOfConcern)

Government.kif 2567-2567 The number 2 argument of organizational objective is an instance of area of concern
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__organizationalObjective__m,s__BinaryPredicate)

Government.kif 2565-2565 organizational objective is an instance of binary predicate
s__subrelation(s__organizationalObjective__m,s__attribute__m)

Government.kif 2568-2568 organizational objective is a subrelation of attribute

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


s__format(s__ChineseLanguage,s__organizationalObjective__m,'"%2 %n 是 %1 的 organizational 目标"')

domainEnglishFormat.kif 1859-1859
s__format(s__ChineseTraditionalLanguage,s__organizationalObjective__m,'"%2 %n 是 %1 的 organizational 目標"')

domainEnglishFormat.kif 1858-1858
s__format(s__EnglishLanguage,s__organizationalObjective__m,'"%2 is %n an organizational objective of %1"')

domainEnglishFormat.kif 1857-1857
s__termFormat(s__ChineseLanguage,s__organizationalObjective__m,'"组织目标"')

domainEnglishFormat.kif 42475-42475
s__termFormat(s__ChineseTraditionalLanguage,s__organizationalObjective__m,'"組織目標"')

domainEnglishFormat.kif 42474-42474
s__termFormat(s__EnglishLanguage,s__organizationalObjective__m,'"organizational objective"')

domainEnglishFormat.kif 42473-42473

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


( ! [V__AGENT,V__TOPIC] :
   ((s__instance(V__TOPIC,s__AreaOfConcern) =>
       (((s__instance(V__AGENT,s__InternationalOrganization) &
             s__organizationalObjective(V__AGENT,V__TOPIC))
         =>
         (s__instance(V__TOPIC,s__TransnationalIssue)))))
   )
)

Government.kif 2587-2591
( ! [V__GROUP,V__ORG,V__AIM] :
   ((s__instance(V__AIM,s__AreaOfConcern) =>
       (((s__instance(V__GROUP,s__PoliticalPressureGroup) &
             s__organizationalObjective(V__GROUP,V__AIM)
           &
           s__instance(V__ORG,s__GovernmentOrganization) &
           s__organizationalObjective(V__ORG,V__AIM))
       =>
       (s__inScopeOfInterest(V__GROUP,V__ORG)))))
)
)

Government.kif 2344-2350
( ! [V__ORG,V__AIM,V__OVERAIM] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__AIM,s__AreaOfConcern) &
         s__instance(V__OVERAIM,s__AreaOfConcern))
       =>
       (((s__organizationalObjective(V__ORG,V__AIM)
           &
           s__subAttribute(V__AIM,V__OVERAIM))
       =>
       (s__organizationalObjective(V__ORG,V__OVERAIM)))))
)
)

Government.kif 2575-2579

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


( ! [V__ORG,V__AIM,V__OVERAIM] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__AIM,s__AreaOfConcern) &
         s__instance(V__OVERAIM,s__AreaOfConcern))
       =>
       (((s__organizationalObjective(V__ORG,V__AIM)
           &
           s__subAttribute(V__AIM,V__OVERAIM))
       =>
       (s__organizationalObjective(V__ORG,V__OVERAIM)))))
)
)

Government.kif 2575-2579

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


s__organizationalObjective(s__ASEANRegionalForum,s__RegionalSecurity)

Government.kif 2842-2842 Regional security is an organizational objective of ASEAN regional forum
s__organizationalObjective(s__AfricanCaribbeanAndPacificGroupOfStates,s__EconomicCooperation)

Government.kif 2724-2724 Economic cooperation is an organizational objective of african caribbean and pacific group of states
s__organizationalObjective(s__AfricanDevelopmentBank,s__EconomicDevelopment)

Government.kif 2731-2731 Economic development is an organizational objective of african development bank
s__organizationalObjective(s__AfricanDevelopmentBank,s__SocialDevelopment)

Government.kif 2732-2732 Social development is an organizational objective of african development bank
s__organizationalObjective(s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,s__NuclearNonproliferation)

Government.kif 2747-2747 Nuclear nonproliferation is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
s__organizationalObjective(s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,s__PeacefulUseOfAtomicPower)

Government.kif 2748-2748 Peaceful use of atomic power is an organizational objective of agency for the prohibition of nuclear weapons in latin america and the caribbean
s__organizationalObjective(s__AndeanCommunityOfNations,s__EconomicIntegration)

Government.kif 2760-2760 Economic integration is an organizational objective of andean community of nations
s__organizationalObjective(s__AntarcticTreatyCouncil,s__AdministrationAndManagement)

Government.kif 2765-2765 Administration and management is an organizational objective of antarctic treaty council
s__organizationalObjective(s__AntarcticTreatyCouncil,s__PromoteRegionalStability)

Government.kif 2766-2766 Promote regional stability is an organizational objective of antarctic treaty council
s__organizationalObjective(s__ArabBankForEconomicDevelopmentInAfrica,s__EconomicDevelopment)

Government.kif 2776-2776 Economic development is an organizational objective of arab bank for economic development in africa
s__organizationalObjective(s__ArabCooperationCouncil,s__EconomicIntegration)

Government.kif 2782-2782 Economic integration is an organizational objective of arab cooperation council
s__organizationalObjective(s__ArabFundForEconomicAndSocialDevelopment,s__EconomicDevelopment)

Government.kif 2788-2788 Economic development is an organizational objective of arab fund for economic and social development
s__organizationalObjective(s__ArabFundForEconomicAndSocialDevelopment,s__SocialDevelopment)

Government.kif 2789-2789 Social development is an organizational objective of arab fund for economic and social development
s__organizationalObjective(s__ArabLeague,s__EconomicCooperation)

Government.kif 2797-2797 Economic cooperation is an organizational objective of arab league
s__organizationalObjective(s__ArabLeague,s__MilitaryCooperation)

Government.kif 2800-2800 Military cooperation is an organizational objective of arab league
s__organizationalObjective(s__ArabLeague,s__PoliticalCooperation)

Government.kif 2799-2799 Political cooperation is an organizational objective of arab league
s__organizationalObjective(s__ArabLeague,s__SocialCooperation)

Government.kif 2798-2798 Social cooperation is an organizational objective of arab league
s__organizationalObjective(s__ArabMaghrebUnion,s__CulturalCooperation)

Government.kif 2807-2807 Cultural cooperation is an organizational objective of arab maghreb union
s__organizationalObjective(s__ArabMaghrebUnion,s__EconomicIntegration)

Government.kif 2806-2806 Economic integration is an organizational objective of arab maghreb union
s__organizationalObjective(s__ArabMaghrebUnion,s__MilitaryCooperation)

Government.kif 2809-2809 Military cooperation is an organizational objective of arab maghreb union
s__organizationalObjective(s__ArabMaghrebUnion,s__PoliticalCooperation)

Government.kif 2808-2808 Political cooperation is an organizational objective of arab maghreb union
s__organizationalObjective(s__ArabMonetaryFund,s__EconomicCooperation)

Government.kif 2815-2815 Economic cooperation is an organizational objective of arab monetary fund
s__organizationalObjective(s__AsiaPacificEconomicCooperation,s__PromotionOfTradeAndInvestment)

Government.kif 2821-2821 Promotion of trade and investment is an organizational objective of asia pacific economic cooperation
s__organizationalObjective(s__AsianDevelopmentBank,s__EconomicCooperation)

Government.kif 2827-2827 Economic cooperation is an organizational objective of asian development bank
s__organizationalObjective(s__AssociationOfSoutheastAsianNations,s__CulturalCooperation)

Government.kif 2835-2835 Cultural 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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