Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
CroatianLanguage
DanishLanguage
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
HebrewLanguage
Hindi
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
ar
cb
classmate
colleague
cz
de
expectedYearOfGraduation
hi
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - PoliticalPressureGroup
PoliticalPressureGroup
(political pressure group)
political_pressure_group
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Government.kif 2294-2298
No TPTP formula. May not be expressible in strict first order.
Government.kif 2292-2292
Political pressure group
is a
subclass
of
political organization
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 8177-8177
"political pressure group" is the
printable
form
of
political pressure group
in
english language
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 2309-2316
If
an agent
is an
instance
of
political pressure group
and
the agent
has
purpose
a formula
and
a geopolitical area
is an
agent
operates in area of
the agent
and
the geopolitical area
is an
instance
of
nation
,
then
the agent
desire
s the
government
of
the geopolitical area
believe
s
the formula
No TPTP formula. May not be expressible in strict first order.
Government.kif 2318-2324
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 2300-2307
If
an agent
is an
instance
of
political pressure group
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
requesting
and
the agent
is an
agent
of
the process
and
the entity
is an
instance
of
government organization
and
the entity
is a
patient
of
the process
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
