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
代理人在区域内经营
的 1 数量 是
施事体
的
instance
(
domain
agentOperatesInArea
2
GeographicArea
)
Government.kif 2236-2236
代理人在区域内经营
的 2 数量 是
地理区域
的
instance
(
instance
agentOperatesInArea
BinaryPredicate
)
Government.kif 2234-2234
代理人在区域内经营
是
二元谓语
的
instance
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2237-2237
代理人在区域内经营
是
有一部分位于
的
subrelation
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
国家政党
是
代理人在区域内经营
的
subrelation
(
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
如果
有认知的主事
是
政治压力集团
的
instance
和
那个 有认知的主事
的 目的 是
公式
和
地理区域
是
agent
运作在
那个 有认知的主事
地区 和
那个 地理区域
是
国家
的
instance
,
然后
那个 有认知的主事
desires
那个 地理区域
的
Government
believes
那个 公式
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
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
和
机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 施事体
是
agent
运作在
那个 机构
地区
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 施事体
是
机构
的
instance
和
那个 另外 施事体
是
地缘政治区域
的
instance
,
然后
那个 另外 施事体
是
agent
运作在
那个 施事体
地区
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
如果
施事体
是 对于
地位
和
另一个 施事体
的外交代表在角色
人类
和
那个 另外 施事体
是
地缘政治区域
的
instance
,
然后
那个 另外 施事体
是
agent
运作在
那个 人类
地区
(=>
(
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
如果
施事体
是
国际组织
的
instance
,
然后 有存在
地理区域
和
另一个 地理区域
这样
那个 地理区域
是
国家
的
instance
和
那个 另外 地理区域
是
国家
的
instance
和
那个 地理区域
是
agent
运作在
那个 施事体
地区 和
那个 另外 地理区域
是
agent
运作在
那个 施事体
地区 和
那个 地理区域
不
equal
那个 另外 地理区域
appearance as argument number 0
(
agentOperatesInArea
UnitedNationsObserverMissionInGeorgia
RepublicOfGeorgia
)
Government.kif 4118-4118
格鲁吉亚共和国
是
agent
运作在
联合国驻格鲁吉亚观察团
地区
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