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
Die Zahl 1 Argument von
agentOperatesInArea
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
agentOperatesInArea
2
GeographicArea
)
Government.kif 2236-2236
Die Zahl 2 Argument von
agentOperatesInArea
ist ein
fall
von
GeographicArea
%n{nicht}
(
instance
agentOperatesInArea
BinaryPredicate
)
Government.kif 2234-2234
agentOperatesInArea
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2237-2237
agentOperatesInArea
ist eine
teilrelation
von
befindetSichTeils
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
politicalPartyOfCountry
ist eine
teilrelation
von
agentOperatesInArea
(
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
Wenn
CognitiveAgent
ist ein
fall
von
PoliticalPressureGroup
%n{nicht} und
** CognitiveAgent
hat Zweck von
Formula
%n{nicht} und
agentOperatesInArea
** CognitiveAgent
and
GeographicArea
und
** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
** CognitiveAgent
wuenscht
GovernmentFn
** GeographicArea
glaubt %n{nicht}, dass
** Formula
%n{nicht}
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
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Organization
and
** AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?AGENT1 ?AGENT2))
Government.kif 4504-4509
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
** ** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** AutonomousAgent
and
** ** AutonomousAgent
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?PERSON ?AGENT2))
Government.kif 4498-4502
Wenn
diplomaticRepresentativeInRole
AutonomousAgent
,
Human
,
Position
and
** AutonomousAgent
und
** ** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Human
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 2516-2524
Wenn
AutonomousAgent
ist ein
fall
von
InternationalOrganization
%n{nicht},
dann es gibt
GeographicArea
und
** GeographicArea
um
** GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
agentOperatesInArea
** AutonomousAgent
and
** GeographicArea
und
agentOperatesInArea
** AutonomousAgent
and
** ** GeographicArea
und
** GeographicArea
ist gleich
** ** GeographicArea
nicht
appearance as argument number 0
(
agentOperatesInArea
UnitedNationsObserverMissionInGeorgia
RepublicOfGeorgia
)
Government.kif 4118-4118
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