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 2203-2205
(
domain
agentOperatesInArea
1
AutonomousAgent
)
Government.kif 2199-2199
agentOperatesInArea
の数値 1 引数は
AutonomousAgent
の
instance
では %n
(
domain
agentOperatesInArea
2
GeographicArea
)
Government.kif 2200-2200
agentOperatesInArea
の数値 2 引数は
地理的地域
の
instance
では %n
(
instance
agentOperatesInArea
BinaryPredicate
)
Government.kif 2198-2198
agentOperatesInArea
は
2進述語
の
instance
では %n
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2201-2201
agentOperatesInArea
は
partlyLocated
の
subrelation
では %n
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 2192-2192
politicalPartyOfCountry
は
agentOperatesInArea
の
subrelation
では %n
(
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 2326-2333
認識エージェント
は
PoliticalPressureGroup
の
instance
では %n
認識エージェント
は
公式
の 目的 %n{ない}
agentOperatesInArea
認識エージェント
and
地理的地域
地理的地域
は
国民
の
instance
では %n
認識エージェント
が
地理的地域
の
government
は
公式
を
believe
s %n{ない} を
desire
s %n{ない}
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 4475-4483
diplomaticRepresentativeInRole
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
組織
and
AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4468-4473
diplomaticRepresentativeInRole
AutonomousAgent
,
人[人間]
,
ポジション
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
AutonomousAgent
and
AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4462-4466
diplomaticRepresentativeInRole
AutonomousAgent
,
人[人間]
,
ポジション
and
AutonomousAgent
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
人[人間]
and
AutonomousAgent
(=>
(
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 2480-2488
AutonomousAgent
は
InternationalOrganization
の
instance
では %n
地理的地域
地理的地域
地理的地域
は
国民
の
instance
では %n
地理的地域
は
国民
の
instance
では %n
agentOperatesInArea
AutonomousAgent
and
地理的地域
agentOperatesInArea
AutonomousAgent
and
地理的地域
地理的地域
は
地理的地域
と
equal
では
appearance as argument number 0
(
agentOperatesInArea
UnitedNationsObserverMissionInGeorgia
RepublicOfGeorgia
)
Government.kif 4082-4082
agentOperatesInArea
UnitedNationsObserverMissionInGeorgia
and
RepublicOfGeorgia
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