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 4048-4053
(
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 4045-4045
The number 1 argument of
partly located
is an
instance
of
physical
(
domain
partlyLocated
2
Object
)
Merge.kif 4046-4046
The number 2 argument of
partly located
is an
instance
of
object
(
instance
partlyLocated
BinaryPredicate
)
Merge.kif 4043-4043
partly located
is an
instance
of
binary predicate
(
instance
partlyLocated
SpatialRelation
)
Merge.kif 4042-4042
partly located
is an
instance
of
spatial relation
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4044-4044
partly located
is an
instance
of
total valued relation
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 2237-2237
agent operates in area
is a
subrelation
of
partly located
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
located
is a
subrelation
of
partly located
(
termFormat
ChineseLanguage
partlyLocated
"有一部分位于")
chinese_format.kif 166-166
(
termFormat
ChineseLanguage
partlyLocated
"部分位于")
domainEnglishFormat.kif 44580-44580
(
termFormat
ChineseTraditionalLanguage
partlyLocated
"部分位於")
domainEnglishFormat.kif 44579-44579
(
termFormat
EnglishLanguage
partlyLocated
"partly located")
domainEnglishFormat.kif 44578-44578
(
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
If
a geographic area
is an
instance
of
geographic area
and
a terrain attribute
is an
attribute
of
an object
and
the terrain attribute
is an
instance
of
terrain attribute
and
the object
is
partly
located in
the geographic area
,
then
the terrain attribute
is a
terrain
in area of
the geographic area
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
If
a physical
is an
instance
of
barricade
and
the physical
is
partly
located in
an object
,
then
the physical
has the purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
translocation
and
the object
is
path
along which
the entity
occurs
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
If
an object
is an
instance
of
object
and
the object
is
partly
located in
another object
,
then there exists
a third object
such that
the third object
is a
part
of
the object
and
the third object
is
located
at
the other object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
If
an object
is an
instance
of
object
and
the object
is
partly
located in
another object
,
then
the object
and
the other object
overlapsSpatially
(=>
(
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 148-157
If
an object
is an
instance
of
wind flow
and
another object
is an
instance
of
object
and
the object
is
partly
located in
the other object
and
a real number
foot length
(s) is an
elevation
of
the object
and
the real number
is
less
than or equal to 500.0 and the
measure
of
the object
is
a length measure
per
a time duration
,
then
the length measure
per
the time duration
is a
surface
wind speed of
the other object
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
If
a physical
is an
instance
of
wind flow
and
an object
is an
instance
of
object
and
the physical
is
partly
located in
the object
and the
measure
of
the physical
is
a real number
knot unit of speed
(s),
then
the real number
knot unit of speed
(s) is a
surface
wind speed of
the object
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
If
a physical
is
partly
located in
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
,
then
the physical
is
partly
located in
the other geographic area
consequent
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 9119-9122
An object
is
outside
to
another object
if and only if
the object
is not
partly
located in
the other object
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
A length measure
is a
total
length of waterways of
a geographic area
if and only if the
length
of the
class
described by
a symbolic string
is
the length measure
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
If
an object
and
another object
overlapsSpatially
and
the other object
is an
instance
of
region
and
the object
is not
equal
to
the other object
,
then
the object
is
partly
located in
the other object
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
If
a physical
is
partly
located in
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
,
then
the physical
is
partly
located in
the other geographic area
(=>
(
contains
?SMALL ?BIG)
(
partlyLocated
?SMALL ?BIG))
Merge.kif 987-989
If
a self connected object
contain
s
an object
,
then
the self connected object
is
partly
located in
the object
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
If
a process
is
partly
located
at
an object
,
then
the process
is
partly
located in
the object
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
If
displaced person
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
the entity
LACE and
the entity
is a
citizen
of
an object
holds
during
a time position
,
then
the entity
LACE is not
partly
located in
the object
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
If
internally displaced person
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
the entity
LACE and
the entity
is a
citizen
of
an object
holds
during
a time position
,
then
the entity
LACE is
partly
located in
the object
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
If
a physical
is an
instance
of
air transitway
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
transportation
and
the physical
is
path
along which
the entity
occurs and
the physical
is
partly
located in
earths atmosphere
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
If
a terrain attribute
is a
terrain
in area of
a geographic area
,
then there exists
an object
such that
the object
is an
instance
of
geographic area
and
the terrain attribute
is an
attribute
of
the object
and
the object
is
partly
located in
the geographic area
appearance as argument number 0
(
partlyLocated
ArcticOcean
EasternHemisphere
)
Geography.kif 4640-4640
Arctic ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
ArcticOcean
WesternHemisphere
)
Geography.kif 4641-4641
Arctic ocean
is
partly
located in
western hemisphere
(
partlyLocated
NorthPacificOcean
EasternHemisphere
)
Geography.kif 4578-4578
North pacific ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
NorthPacificOcean
WesternHemisphere
)
Geography.kif 4579-4579
North pacific ocean
is
partly
located in
western hemisphere
(
partlyLocated
NortheasternPacificOcean
EasternHemisphere
)
Geography.kif 4592-4592
Northeastern Pacific ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
NortheasternPacificOcean
NorthernHemisphere
)
Geography.kif 4591-4591
Northeastern Pacific ocean
is
partly
located in
northern hemisphere
(
partlyLocated
NorthwesternPacificOcean
NorthernHemisphere
)
Geography.kif 4604-4604
Northwestern Pacific Ocean
is
partly
located in
northern hemisphere
(
partlyLocated
NorthwesternPacificOcean
WesternHemisphere
)
Geography.kif 4605-4605
Northwestern Pacific Ocean
is
partly
located in
western hemisphere
(
partlyLocated
SouthAtlanticOcean
EasternHemisphere
)
Geography.kif 4560-4560
South atlantic ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
SouthAtlanticOcean
WesternHemisphere
)
Geography.kif 4559-4559
South atlantic ocean
is
partly
located in
western hemisphere
(
partlyLocated
SouthPacificOcean
EasternHemisphere
)
Geography.kif 4618-4618
South pacific ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
SouthPacificOcean
WesternHemisphere
)
Geography.kif 4619-4619
South pacific ocean
is
partly
located in
western hemisphere
(
partlyLocated
SouthernOcean
EasternHemisphere
)
Geography.kif 4656-4656
Southern ocean
is
partly
located in
eastern hemisphere
(
partlyLocated
SouthernOcean
WesternHemisphere
)
Geography.kif 4657-4657
Southern ocean
is
partly
located in
western hemisphere
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