Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
or
ganizational objective of %1")
domainEnglishFormat.kif 1861-1861
(
format
ChineseTraditionalLanguage
organizationalObjective
"%2 %n 是 %1 的
or
ganizational 目標")
domainEnglishFormat.kif 1862-1862
(
format
ChineseLanguage
organizationalObjective
"%2 %n 是 %1 的
or
ganizational 目标")
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