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 and
AutonomousAgent
(
domain
agentOperatesInArea
2
GeographicArea
)
Government.kif 2236-2236
域
代理人在區域內經營
, 2 and
GeographicArea
(
instance
agentOperatesInArea
BinaryPredicate
)
Government.kif 2234-2234
例
代理人在區域內經營
and
BinaryPredicate
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2237-2237
子關係
代理人在區域內經營
and
部分位於
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
子關係
國家政黨
and
代理人在區域內經營
(
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
例
CognitiveAgent
and
政治壓力集團
有目的
CognitiveAgent
and
Formula
GeographicArea
是
agent
運作在
CognitiveAgent
地區
例
GeographicArea
and
Nation
慾望
CognitiveAgent
and
相信
政府
GeographicArea
and
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
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
Organization
地區
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
AutonomousAgent
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
AutonomousAgent
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
AutonomousAgent
地區
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
AutonomousAgent
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
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
例
AutonomousAgent
and
國際組織
GeographicArea
GeographicArea
例
GeographicArea
and
Nation
例
GeographicArea
and
Nation
GeographicArea
是
agent
運作在
AutonomousAgent
地區
GeographicArea
是
agent
運作在
AutonomousAgent
地區
等於
GeographicArea
and
GeographicArea
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