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
partlyLocated
Sigma KEE - partlyLocated
partlyLocated
appearance as argument number 1
(
documentation
partlyLocated
ChineseLanguage
"(
partlyLocated
?OBJ1 ?OBJ2)的意思是
Physical
的实例 ?OBJ1 起码有一部分位于 ?OBJ2。例如:伊斯坦布尔有一部分位于
Asia
, 并有一部分位于
Europe
。注:
partlyLocated
是最基本的位置关系:
located
是
partlyLocated
的直接
subrelation
,而
exactlyLocated
是
located
的直接
subrelation
。")
chinese_format.kif 2107-2110
(
documentation
partlyLocated
EnglishLanguage
"(
partlyLocated
?OBJ1 ?OBJ2) means that the instance of
Physical
?OBJ1 is at least partially located at ?OBJ2. For example, Istanbul is partly located in
Asia
and partly located in
Europe
. Note that
partlyLocated
is the most basic localization relation:
located
is an immediate
subrelation
of
partlyLocated
and
exactlyLocated
is an immediate
subrelation
of
located
.")
Merge.kif 4049-4054
(
documentation
partlyLocated
JapaneseLanguage
"(
partlyLocated
?OBJ1 ?OBJ2) とは、
Physical
?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。 例: イスタンブールは
Asia
に部分的に位置し、一部は
Europe
に位置している。 注:
partlyLocated
は最も基本的なローカリゼーション関係である:
located
は即時の
partlyLocated
の
subrelation
で、
exactlyLocated
は即時の
located
の
subrelation
である。")
japanese_format.kif 758-762
(
domain
partlyLocated
1
Physical
)
Merge.kif 4046-4046
Die Zahl 1 Argument von
befindetSichTeils
ist ein
fall
von
Physical
%n{nicht}
(
domain
partlyLocated
2
Object
)
Merge.kif 4047-4047
Die Zahl 2 Argument von
befindetSichTeils
ist ein
fall
von
Object
%n{nicht}
(
instance
partlyLocated
BinaryPredicate
)
Merge.kif 4044-4044
befindetSichTeils
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
partlyLocated
SpatialRelation
)
Merge.kif 4043-4043
befindetSichTeils
ist ein
fall
von
SpatialRelation
%n{nicht}
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4045-4045
befindetSichTeils
ist ein
fall
von
TotalValuedRelation
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
partlyLocated
"%1 %n 是
partlyLocated
在 %2 ")
chinese_format.kif 165-165
(
format
EnglishLanguage
partlyLocated
"%1 is %n
part
ly located in %2")
english_format.kif 166-166
(
format
FrenchLanguage
partlyLocated
"%1 est %n
part
iellement localis� � %2")
french_format.kif 102-102
(
format
ItalianLanguage
partlyLocated
"%1 è %n in parte localizzato in %2")
relations-it.txt 214-214
(
format
JapaneseLanguage
partlyLocated
"%1 は
part
ly に %2 に 位置して %n")
japanese_format.kif 1931-1931
(
format
PortugueseLanguage
partlyLocated
"%1 e' %n parcialmente localizado em %2")
portuguese_format.kif 54-54
(
format
cz
partlyLocated
"%1 %p{je} %n{nen�} ��ste�n� um�st�n v %2")
relations-cz.txt 129-129
(
format
de
partlyLocated
"%1 befindet sich teils an %n{nicht}")
relations-de.txt 203-203
(
format
hi
partlyLocated
"%1 %2 men anshatah sthita %n hai")
relations-hindi.txt 252-252
(
format
ro
partlyLocated
"%1 %n{nu} este
part
ly%t{parþial} localizat în %2")
relations-ro.kif 121-121
(
format
sv
partlyLocated
"%1 ligger %n{inte}
de
lvis i %2")
relations-sv.txt 103-103
(
format
tg
partlyLocated
"%1 %n ay sa %2")
relations-tg.txt 406-406
(
subrelation
agentOperatesInArea
partlyLocated
)
Government.kif 2201-2201
agentOperatesInArea
ist eine
teilrelation
von
befindetSichTeils
(
subrelation
located
partlyLocated
)
Merge.kif 4074-4074
befindetSich
ist eine
teilrelation
von
befindetSichTeils
(
termFormat
ChineseLanguage
partlyLocated
"有一部分位于")
chinese_format.kif 166-166
(
termFormat
ChineseLanguage
partlyLocated
"部分位于")
domainEnglishFormat.kif 44582-44582
(
termFormat
ChineseTraditionalLanguage
partlyLocated
"部分位於")
domainEnglishFormat.kif 44581-44581
(
termFormat
EnglishLanguage
partlyLocated
"partly located")
domainEnglishFormat.kif 44580-44580
(
termFormat
de
partlyLocated
"befindetSichTeils")
terms-de.txt 63-63
antecedent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
instance
?ATTRIBUTE
TerrainAttribute
)
(
partlyLocated
?REGION ?AREA))
(
terrainInArea
?AREA ?ATTRIBUTE))
Geography.kif 1727-1733
Wenn
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
TerrainAttribute
ist ein
attribut
von
Object
%n{nicht} und
** TerrainAttribute
ist ein
fall
von
TerrainAttribute
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht},
dann
terrainInArea
** GeographicArea
and
** TerrainAttribute
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
Wenn
Physical
ist ein
fall
von
Barricade
%n{nicht} und
** Physical
befindet
sich
teils
an %n{nicht},
dann
** Physical
hat Zweck von es gibt nicht
entity
um
** entity
ist ein
fall
von
Translocation
%n{nicht} und
Object
ist der
pfad
entlang dem
** entity
geschieht %n{nicht}
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4062-4069
Wenn
Object
ist ein
fall
von
Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
befindet
sich an %n{nicht}
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4056-4060
Wenn
Object
ist ein
fall
von
Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht},
dann
** Object
deckt
sich mit
** Object
raeumlich %n{nicht}
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
elevation
?ZEPHYR
(
MeasureFn
?X
FootLength
))
(
lessThanOrEqualTo
?X 500.0)
(
measure
?ZEPHYR
(
SpeedFn
?DIST ?TIME)))
(
surfaceWindSpeed
?PLACE
(
SpeedFn
?DIST ?TIME)))
Weather.kif 136-145
Wenn
Object
ist ein
fall
von
WindFlow
%n{nicht} und
** Object
ist ein
fall
von
Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht} und
elevation
** Object
and
RealNumber
FootLength
(s) und
** RealNumber
ist
kleinerAlsOderGleich
500.0 %n{nicht} und das
mass
von
** Object
ist
LengthMeasure
pro
&2 %n{nicht},
dann
surfaceWindSpeed
** ** Object
and
** LengthMeasure
pro
&2
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 147-153
Wenn
Physical
ist ein
fall
von
WindFlow
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
** Physical
befindet
sich
teils
an %n{nicht} und das
mass
von
** Physical
ist
RealNumber
KnotUnitOfSpeed
(s) %n{nicht},
dann
surfaceWindSpeed
** Object
and
** RealNumber
KnotUnitOfSpeed
(s)
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Wenn
Physical
befindet
sich
teils
an %n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
** Physical
befindet
sich
teils
an %n{nicht}
consequent
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 9146-9149
Object
ist
Outside
hinsichlich
** Object
%n{nicht} genau dann wenn
** Object
befindet
sich
teils
an nicht
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
totalLengthOfWaterways
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
Wenn
Object
deckt
sich mit
** Object
raeumlich %n{nicht} und
** ** Object
ist ein
fall
von
Region
%n{nicht} und
** Object
ist gleich
** ** Object
nicht,
dann
** Object
befindet
sich
teils
an %n{nicht}
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Wenn
Physical
befindet
sich
teils
an %n{nicht} und
GeographicArea
ist ein
fall
von
GeographicArea
%n{nicht} und
geographicSubregion
** GeographicArea
and
** GeographicArea
,
dann
** Physical
befindet
sich
teils
an %n{nicht}
(=>
(
contains
?SMALL ?BIG)
(
partlyLocated
?SMALL ?BIG))
Merge.kif 987-989
Wenn
contains
SelfConnectedObject
and
Object
,
dann
** SelfConnectedObject
befindet
sich
teils
an %n{nicht}
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4093-4095
Wenn
eventPartlyLocated
Process
and
Object
,
dann
** Process
befindet
sich
teils
an %n{nicht}
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
Wenn
DisplacedPerson
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist der
buerger
von
Object
haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
LACE
befindet
sich
teils
an nicht
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
Wenn
InternallyDisplacedPerson
ist ein
attribut
von
entity
%n{nicht} und
** entity
wohnt in
** entity
und
** ** entity
befindet
sich an %n{nicht} und
** entity
ist der
buerger
von
Object
haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
LACE
befindet
sich
teils
an %n{nicht}
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
Wenn
Physical
ist ein
fall
von
AirTransitway
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Transportation
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
** Physical
befindet
sich
teils
an %n{nicht} %n{nicht}
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
Wenn
terrainInArea
GeographicArea
and
TerrainAttribute
,
dann es gibt
Object
um
** Object
ist ein
fall
von
GeographicArea
%n{nicht} und
** TerrainAttribute
ist ein
attribut
von
** Object
%n{nicht} und
** Object
befindet
sich
teils
an %n{nicht}
appearance as argument number 0
(
partlyLocated
ArcticOcean
EasternHemisphere
)
Geography.kif 4640-4640
ArcticOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
ArcticOcean
WesternHemisphere
)
Geography.kif 4641-4641
ArcticOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NorthPacificOcean
EasternHemisphere
)
Geography.kif 4578-4578
NorthPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NorthPacificOcean
WesternHemisphere
)
Geography.kif 4579-4579
NorthPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NortheasternPacificOcean
EasternHemisphere
)
Geography.kif 4592-4592
NortheasternPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NortheasternPacificOcean
NorthernHemisphere
)
Geography.kif 4591-4591
NortheasternPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NorthwesternPacificOcean
NorthernHemisphere
)
Geography.kif 4604-4604
NorthwesternPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
NorthwesternPacificOcean
WesternHemisphere
)
Geography.kif 4605-4605
NorthwesternPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthAtlanticOcean
EasternHemisphere
)
Geography.kif 4560-4560
SouthAtlanticOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthAtlanticOcean
WesternHemisphere
)
Geography.kif 4559-4559
SouthAtlanticOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthPacificOcean
EasternHemisphere
)
Geography.kif 4618-4618
SouthPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthPacificOcean
WesternHemisphere
)
Geography.kif 4619-4619
SouthPacificOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthernOcean
EasternHemisphere
)
Geography.kif 4656-4656
SouthernOcean
befindet
sich
teils
an %n{nicht}
(
partlyLocated
SouthernOcean
WesternHemisphere
)
Geography.kif 4657-4657
SouthernOcean
befindet
sich
teils
an %n{nicht}
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