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
partlyLocated
の数値 1 引数は
物理
の
instance
では %n
(
domain
partlyLocated
2
Object
)
Merge.kif 4046-4046
partlyLocated
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
partlyLocated
BinaryPredicate
)
Merge.kif 4043-4043
partlyLocated
は
2進述語
の
instance
では %n
(
instance
partlyLocated
SpatialRelation
)
Merge.kif 4042-4042
partlyLocated
は
空間的関係
の
instance
では %n
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4044-4044
partlyLocated
は
合計値関係
の
instance
では %n
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
agentOperatesInArea
は
partlyLocated
の
subrelation
では %n
(
subrelation
located
partlyLocated
)
Merge.kif 4073-4073
located
は
partlyLocated
の
subrelation
では %n
(
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
地理的地域
は
地理的地域
の
instance
では %n
TerrainAttribute
は
オブジェクト
の
attribute
では %n
TerrainAttribute
は
TerrainAttribute
の
instance
では %n
オブジェクト
は
partly
に
地理的地域
に 位置して %n
terrainInArea
地理的地域
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
物理
は
Barricade
の
instance
では %n
物理
は
partly
に
オブジェクト
に 位置して %n
物理
は
エンティティー
エンティティー
は
Translocation
の
instance
では %n
オブジェクト
は
エンティティー
が 発生する
path
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
exists
(?SUB)
(
and
(
part
?SUB ?OBJ1)
(
located
?SUB ?OBJ2))))
Merge.kif 4061-4068
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
オブジェクト
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?OBJ1
Object
)
(
partlyLocated
?OBJ1 ?OBJ2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 4055-4059
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
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
オブジェクト
は
WindFlow
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
elevation
オブジェクト
and
実数
の
FootLength
(s)
実数
は 500.0 より
less
または同等 では %n
オブジェクト
の
measure
は
時間分
per
長さ測定
では %n
surfaceWindSpeed
オブジェクト
and
時間分
per
長さ測定
(=>
(
and
(
instance
?ZEPHYR
WindFlow
)
(
instance
?PLACE
Object
)
(
partlyLocated
?ZEPHYR ?PLACE)
(
measure
?ZEPHYR
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
(
surfaceWindSpeed
?PLACE
(
MeasureFn
?SPEED
KnotUnitOfSpeed
)))
Weather.kif 159-165
物理
は
WindFlow
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
物理
は
partly
に
オブジェクト
に 位置して %n
物理
の
measure
は
実数
の
KnotUnitOfSpeed
(s) では %n
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
物理
は
partly
に
地理的地域
に 位置して %n
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
物理
は
partly
に
地理的地域
に 位置して %n
consequent
(<=>
(
orientation
?OBJ ?REGION
Outside
)
(
not
(
partlyLocated
?OBJ ?REGION)))
Mid-level-ontology.kif 9119-9122
オブジェクト
は
Outside
対
オブジェクト
では %n
オブジェクト
は
partly
に
オブジェクト
に 位置して
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
totalLengthOfWaterways
地理的地域
and
長さ測定
エンティティー
class
の
length
は
長さ測定
では
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
overlapsSpatially
オブジェクト
and
オブジェクト
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
partly
に
オブジェクト
に 位置して %n
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
物理
は
partly
に
地理的地域
に 位置して %n
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
物理
は
partly
に
地理的地域
に 位置して %n
(=>
(
contains
?SMALL ?BIG)
(
partlyLocated
?SMALL ?BIG))
Merge.kif 987-989
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
自己接続オブジェクト
は
partly
に
オブジェクト
に 位置して %n
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
eventPartlyLocated
工程
and
オブジェクト
工程
は
partly
に
オブジェクト
に 位置して %n
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
DisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
not
(
partlyLocated
?PLACE ?NATION)))
MilitaryPersons.kif 70-78
DisplacedPerson
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
エンティティー
LACE に
located
して %n
エンティティー
は
オブジェクト
% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
LACE は
partly
に
オブジェクト
に 位置して
(=>
(
holdsDuring
?T1
(
and
(
attribute
?P
InternallyDisplacedPerson
)
(
inhabits
?P ?RES)
(
located
?RES ?PLACE)
(
citizen
?P ?NATION)))
(
partlyLocated
?PLACE ?NATION))
MilitaryPersons.kif 92-99
InternallyDisplacedPerson
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
live
s %n{ない}
エンティティー
は
エンティティー
LACE に
located
して %n
エンティティー
は
オブジェクト
% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
エンティティー
LACE は
partly
に
オブジェクト
に 位置して %n
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
物理
は
AirTransitway
の
instance
では %n
物理
は
エンティティー
エンティティー
は
交通手段
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n
物理
は
partly
に
EarthsAtmosphere
に 位置して %n の 目的 %n{ない}
(=>
(
terrainInArea
?AREA ?ATTRIBUTE)
(
exists
(?REGION)
(
and
(
instance
?REGION
GeographicArea
)
(
attribute
?REGION ?ATTRIBUTE)
(
partlyLocated
?REGION ?AREA))))
Geography.kif 1719-1725
terrainInArea
地理的地域
and
TerrainAttribute
オブジェクト
オブジェクト
は
地理的地域
の
instance
では %n
TerrainAttribute
は
オブジェクト
の
attribute
では %n
オブジェクト
は
partly
に
地理的地域
に 位置して %n
appearance as argument number 0
(
partlyLocated
ArcticOcean
EasternHemisphere
)
Geography.kif 4640-4640
ArcticOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
ArcticOcean
WesternHemisphere
)
Geography.kif 4641-4641
ArcticOcean
は
partly
に
WesternHemisphere
に 位置して %n
(
partlyLocated
NorthPacificOcean
EasternHemisphere
)
Geography.kif 4578-4578
NorthPacificOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
NorthPacificOcean
WesternHemisphere
)
Geography.kif 4579-4579
NorthPacificOcean
は
partly
に
WesternHemisphere
に 位置して %n
(
partlyLocated
NortheasternPacificOcean
EasternHemisphere
)
Geography.kif 4592-4592
NortheasternPacificOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
NortheasternPacificOcean
NorthernHemisphere
)
Geography.kif 4591-4591
NortheasternPacificOcean
は
partly
に
NorthernHemisphere
に 位置して %n
(
partlyLocated
NorthwesternPacificOcean
NorthernHemisphere
)
Geography.kif 4604-4604
NorthwesternPacificOcean
は
partly
に
NorthernHemisphere
に 位置して %n
(
partlyLocated
NorthwesternPacificOcean
WesternHemisphere
)
Geography.kif 4605-4605
NorthwesternPacificOcean
は
partly
に
WesternHemisphere
に 位置して %n
(
partlyLocated
SouthAtlanticOcean
EasternHemisphere
)
Geography.kif 4560-4560
SouthAtlanticOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
SouthAtlanticOcean
WesternHemisphere
)
Geography.kif 4559-4559
SouthAtlanticOcean
は
partly
に
WesternHemisphere
に 位置して %n
(
partlyLocated
SouthPacificOcean
EasternHemisphere
)
Geography.kif 4618-4618
SouthPacificOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
SouthPacificOcean
WesternHemisphere
)
Geography.kif 4619-4619
SouthPacificOcean
は
partly
に
WesternHemisphere
に 位置して %n
(
partlyLocated
SouthernOcean
EasternHemisphere
)
Geography.kif 4656-4656
SouthernOcean
は
partly
に
EasternHemisphere
に 位置して %n
(
partlyLocated
SouthernOcean
WesternHemisphere
)
Geography.kif 4657-4657
SouthernOcean
は
partly
に
WesternHemisphere
に 位置して %n
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