Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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
No TPTP formula. May not be expressible in strict first order.
Government.kif 2598-2600
No TPTP formula. May not be expressible in strict first order.
Government.kif 2593-2593
The number 1 argument of
organizational objective
is an
instance
of
agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2594-2594
The number 2 argument of
organizational objective
is an
instance
of
area of concern
No TPTP formula. May not be expressible in strict first order.
Government.kif 2592-2592
organizational objective
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Government.kif 2595-2595
organizational objective
is a
subrelation
of
attribute
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1859-1859
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1858-1858
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1857-1857
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42498-42498
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42497-42497
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 42496-42496
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2614-2618
If
an agent
is an
instance
of
international organization
and
an area of concern
is an
organizational
objective of
the agent
,
then
the area of concern
is an
instance
of
transnational issue
No TPTP formula. May not be expressible in strict first order.
Government.kif 2371-2377
If
a cognitive agent
is an
instance
of
political pressure group
and
an area of concern
is an
organizational
objective of
the cognitive agent
and
an agent
is an
instance
of
government organization
and
the area of concern
is an
organizational
objective of
the agent
,
then
the cognitive agent
is
interested
in
the agent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
If
an area of concern
is an
organizational
objective of
an agent
and
the area of concern
is a
subattribute
of
another area of concern
,
then
the other area of concern
is an
organizational
objective of
the agent
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2602-2606
If
an area of concern
is an
organizational
objective of
an agent
and
the area of concern
is a
subattribute
of
another area of concern
,
then
the other area of concern
is an
organizational
objective of
the agent
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Government.kif 2879-2879
Regional security
is an
organizational
objective of
ASEAN regional forum
No TPTP formula. May not be expressible in strict first order.
Government.kif 2751-2751
Economic cooperation
is an
organizational
objective of
african caribbean and pacific group of states
No TPTP formula. May not be expressible in strict first order.
Government.kif 2758-2758
Economic development
is an
organizational
objective of
african development bank
No TPTP formula. May not be expressible in strict first order.
Government.kif 2759-2759
Social development
is an
organizational
objective of
african development bank
No TPTP formula. May not be expressible in strict first order.
Government.kif 2779-2779
Nuclear nonproliferation
is an
organizational
objective of
agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order.
Government.kif 2780-2780
Peaceful use of atomic power
is an
organizational
objective of
agency for the prohibition of nuclear weapons in latin america and the caribbean
No TPTP formula. May not be expressible in strict first order.
Government.kif 2797-2797
Economic integration
is an
organizational
objective of
andean community of nations
No TPTP formula. May not be expressible in strict first order.
Government.kif 2802-2802
Administration and management
is an
organizational
objective of
antarctic treaty council
No TPTP formula. May not be expressible in strict first order.
Government.kif 2803-2803
Promote regional stability
is an
organizational
objective of
antarctic treaty council
No TPTP formula. May not be expressible in strict first order.
Government.kif 2813-2813
Economic development
is an
organizational
objective of
arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order.
Government.kif 2819-2819
Economic integration
is an
organizational
objective of
arab cooperation council
No TPTP formula. May not be expressible in strict first order.
Government.kif 2825-2825
Economic development
is an
organizational
objective of
arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order.
Government.kif 2826-2826
Social development
is an
organizational
objective of
arab fund for economic and social development
No TPTP formula. May not be expressible in strict first order.
Government.kif 2834-2834
Economic cooperation
is an
organizational
objective of
arab league
No TPTP formula. May not be expressible in strict first order.
Government.kif 2837-2837
Military cooperation
is an
organizational
objective of
arab league
No TPTP formula. May not be expressible in strict first order.
Government.kif 2836-2836
Political cooperation
is an
organizational
objective of
arab league
No TPTP formula. May not be expressible in strict first order.
Government.kif 2835-2835
Social cooperation
is an
organizational
objective of
arab league
No TPTP formula. May not be expressible in strict first order.
Government.kif 2844-2844
Cultural cooperation
is an
organizational
objective of
arab maghreb union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2843-2843
Economic integration
is an
organizational
objective of
arab maghreb union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2846-2846
Military cooperation
is an
organizational
objective of
arab maghreb union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2845-2845
Political cooperation
is an
organizational
objective of
arab maghreb union
No TPTP formula. May not be expressible in strict first order.
Government.kif 2852-2852
Economic cooperation
is an
organizational
objective of
arab monetary fund
No TPTP formula. May not be expressible in strict first order.
Government.kif 2858-2858
Promotion of trade and investment
is an
organizational
objective of
asia pacific economic cooperation
No TPTP formula. May not be expressible in strict first order.
Government.kif 2864-2864
Economic cooperation
is an
organizational
objective of
asian development bank
No TPTP formula. May not be expressible in strict first order.
Government.kif 2872-2872
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 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