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
agentOperatesInArea
Sigma KEE - agentOperatesInArea
agentOperatesInArea
appearance as argument number 1
(
documentation
agentOperatesInArea
EnglishLanguage
"(
agentOperatesInArea
?AGENT ?AREA) means that the individual or
Organization
?AGENT operates in the
GeographicArea
?AREA.")
Government.kif 2239-2241
(
domain
agentOperatesInArea
1
AutonomousAgent
)
Government.kif 2235-2235
The number 1 argument of
agent operates in area
is an
instance
of
agent
(
domain
agentOperatesInArea
2
GeographicArea
)
Government.kif 2236-2236
The number 2 argument of
agent operates in area
is an
instance
of
geographic area
(
instance
agentOperatesInArea
BinaryPredicate
)
Government.kif 2234-2234
agent operates in area
is an
instance
of
binary predicate
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2237-2237
agent operates in area
is a
subrelation
of
partly located
appearance as argument number 2
(
format
ChineseLanguage
agentOperatesInArea
"%2 %n 是
agent
运作在 %1 地区")
domainEnglishFormat.kif 76-76
(
format
ChineseTraditionalLanguage
agentOperatesInArea
"%2 %n 是
agent
運作在 %1 地區")
domainEnglishFormat.kif 75-75
(
format
EnglishLanguage
agentOperatesInArea
"%2 is %n an
agent
operates in area of %1")
domainEnglishFormat.kif 74-74
(
subrelation
politicalPartyOfCountry
agentOperatesInArea
)
Government.kif 2228-2228
political party of country
is a
subrelation
of
agent operates in area
(
termFormat
ChineseLanguage
agentOperatesInArea
"代理人在区域内经营")
domainEnglishFormat.kif 5826-5826
(
termFormat
ChineseTraditionalLanguage
agentOperatesInArea
"代理人在區域內經營")
domainEnglishFormat.kif 5825-5825
(
termFormat
EnglishLanguage
agentOperatesInArea
"agent operates in area")
domainEnglishFormat.kif 5824-5824
antecedent
(=>
(
and
(
instance
?GROUP
PoliticalPressureGroup
)
(
hasPurpose
?GROUP ?FORMULA)
(
agentOperatesInArea
?GROUP ?AREA)
(
instance
?AREA
Nation
))
(
desires
?GROUP
(
believes
(
GovernmentFn
?AREA) ?FORMULA)))
Government.kif 2362-2369
If
a cognitive agent
is an
instance
of
political pressure group
and
the cognitive agent
has the purpose
a formula
and
a geographic area
is an
agent
operates in area of
the cognitive agent
and
the geographic area
is an
instance
of
nation
,
then
the cognitive agent
desire
s the
government
of
the geographic area
believe
s
the formula
consequent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4511-4519
If
a geopolitical area
is
diplomatic
representative in role
a human
for
a position
with
an agent
and
the geopolitical area
is an
instance
of
nation
and
an organization
is an
instance
of
diplomatic organization
and
the organization
is a part of the organization the
government
of
the geopolitical area
and
the human
holds the
position
of
the position
in
the organization
and
the agent
is an
instance
of
geopolitical area
,
then
the agent
is an
agent
operates in area of
the organization
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the agent
is an
instance
of
organization
and
the other agent
is an
instance
of
geopolitical area
,
then
the other agent
is an
agent
operates in area of
the agent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
If
an agent
is
diplomatic
representative in role
a human
for
a position
with
another agent
and
the other agent
is an
instance
of
geopolitical area
,
then
the other agent
is an
agent
operates in area of
the human
(=>
(
instance
?ORG
InternationalOrganization
)
(
exists
(?COUNTRY1 ?COUNTRY2)
(
and
(
instance
?COUNTRY1
Nation
)
(
instance
?COUNTRY2
Nation
)
(
agentOperatesInArea
?ORG ?COUNTRY1)
(
agentOperatesInArea
?ORG ?COUNTRY2)
(
not
(
equal
?COUNTRY1 ?COUNTRY2)))))
Government.kif 2516-2524
If
an agent
is an
instance
of
international organization
,
then there exist
a geographic area
and
another geographic area
such that
the geographic area
is an
instance
of
nation
and
the other geographic area
is an
instance
of
nation
and
the geographic area
is an
agent
operates in area of
the agent
and
the other geographic area
is an
agent
operates in area of
the agent
and
the geographic area
is not
equal
to
the other geographic area
appearance as argument number 0
(
agentOperatesInArea
UnitedNationsObserverMissionInGeorgia
RepublicOfGeorgia
)
Government.kif 4118-4118
Republic of georgia
is an
agent
operates in area of
united nations observer mission in georgia
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