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
域
部分位於
, 1 and
Physical
(
domain
partlyLocated
2
Object
)
Merge.kif 4047-4047
域
部分位於
, 2 and
Object
(
instance
partlyLocated
BinaryPredicate
)
Merge.kif 4044-4044
例
部分位於
and
BinaryPredicate
(
instance
partlyLocated
SpatialRelation
)
Merge.kif 4043-4043
例
部分位於
and
SpatialRelation
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4045-4045
例
部分位於
and
TotalValuedRelation
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
子關係
代理人在區域內經營
and
部分位於
(
subrelation
located
partlyLocated
)
Merge.kif 4074-4074
子關係
位於
and
部分位於
(
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
例
GeographicArea
and
GeographicArea
attribute
Object
and
地形屬性
例
地形屬性
and
地形屬性
部分位於
Object
and
GeographicArea
地形屬性
是在區域
GeographicArea
的
terrain
(=>
(
and
(
instance
?B
Barricade
)
(
partlyLocated
?B ?P))
(
hasPurpose
?B
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
path
?T ?P))))))
MilitaryDevices.kif 2003-2012
例
Physical
and
壅
部分位於
Physical
and
Object
有目的
Physical
and
entity
例
entity
and
易位
路徑
entity
and
Object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4062-4069
例
Object
and
Object
部分位於
Object
and
Object
Object
部分
Object
and
Object
位於
Object
and
Object
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4056-4060
例
Object
and
Object
部分位於
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
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
例
Object
and
WindFlow
例
Object
and
Object
部分位於
Object
and
Object
測量
RealNumber
and
腳長
是
Object
的
elevation
小於或等於
RealNumber
and 500.0
測量
Object
and
速度
LengthMeasure
and
TimeDuration
速度
LengthMeasure
and
TimeDuration
是
Object
的
surface
風速
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 147-153
例
Physical
and
WindFlow
例
Object
and
Object
部分位於
Physical
and
Object
測量
Physical
and
測量
RealNumber
and
結速度單位
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
部分位於
Physical
and
GeographicArea
例
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
部分位於
Physical
and
GeographicArea
consequent
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 9146-9149
方位
Object
,
Object
and
外
部分位於
Object
and
Object
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
LengthMeasure
是
GeographicArea
的
total
水路長路
length
卡帕
SymbolicString
and
例
SymbolicString
and
水路
部分位於
SymbolicString
and
GeographicArea
and
LengthMeasure
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
在空間上重疊
Object
and
Object
例
Object
and
Region
等於
Object
and
Object
部分位於
Object
and
Object
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
部分位於
Physical
and
GeographicArea
例
GeographicArea
and
GeographicArea
GeographicArea
是
GeographicArea
的
geographic
次要地區
部分位於
Physical
and
GeographicArea
(=>
(
contains
?SMALL ?BIG)
(
partlyLocated
?SMALL ?BIG))
Merge.kif 987-989
包含
SelfConnectedObject
and
Object
部分位於
SelfConnectedObject
and
Object
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4093-4095
Process
是
partly
located
在
Object
部分位於
Process
and
Object
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
持有期間
TimePosition
and
attribute
entity
and
流離失所者
棲息
entity
and
entity
位於
entity
and
entity
LACE
公民
entity
and
Object
部分位於
entity
LACE and
Object
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
持有期間
TimePosition
and
attribute
entity
and
國內流離失所者
棲息
entity
and
entity
位於
entity
and
entity
LACE
公民
entity
and
Object
部分位於
entity
LACE and
Object
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
例
Physical
and
空中運輸通道
有目的
Physical
and
entity
例
entity
and
Transportation
路徑
entity
and
Physical
部分位於
Physical
and
地球的大氣
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
地形屬性
是在區域
GeographicArea
的
terrain
Object
例
Object
and
GeographicArea
attribute
Object
and
地形屬性
部分位於
Object
and
GeographicArea
appearance as argument number 0
(
partlyLocated
ArcticOcean
EasternHemisphere
)
Geography.kif 4640-4640
部分位於
北冰洋
and
東半球
(
partlyLocated
ArcticOcean
WesternHemisphere
)
Geography.kif 4641-4641
部分位於
北冰洋
and
西半球
(
partlyLocated
NorthPacificOcean
EasternHemisphere
)
Geography.kif 4578-4578
部分位於
北太平洋
and
東半球
(
partlyLocated
NorthPacificOcean
WesternHemisphere
)
Geography.kif 4579-4579
部分位於
北太平洋
and
西半球
(
partlyLocated
NortheasternPacificOcean
EasternHemisphere
)
Geography.kif 4592-4592
部分位於
NortheasternPacificOcean
and
東半球
(
partlyLocated
NortheasternPacificOcean
NorthernHemisphere
)
Geography.kif 4591-4591
部分位於
NortheasternPacificOcean
and
北半球
(
partlyLocated
NorthwesternPacificOcean
NorthernHemisphere
)
Geography.kif 4604-4604
部分位於
NorthwesternPacificOcean
and
北半球
(
partlyLocated
NorthwesternPacificOcean
WesternHemisphere
)
Geography.kif 4605-4605
部分位於
NorthwesternPacificOcean
and
西半球
(
partlyLocated
SouthAtlanticOcean
EasternHemisphere
)
Geography.kif 4560-4560
部分位於
南大西洋
and
東半球
(
partlyLocated
SouthAtlanticOcean
WesternHemisphere
)
Geography.kif 4559-4559
部分位於
南大西洋
and
西半球
(
partlyLocated
SouthPacificOcean
EasternHemisphere
)
Geography.kif 4618-4618
部分位於
南太平洋
and
東半球
(
partlyLocated
SouthPacificOcean
WesternHemisphere
)
Geography.kif 4619-4619
部分位於
南太平洋
and
西半球
(
partlyLocated
SouthernOcean
EasternHemisphere
)
Geography.kif 4656-4656
部分位於
南部海洋
and
東半球
(
partlyLocated
SouthernOcean
WesternHemisphere
)
Geography.kif 4657-4657
部分位於
南部海洋
and
西半球
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