| 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 3958-3963 | |
| (domain partlyLocated 1 Physical) | Merge.kif 3955-3955 | 有一部分位于 的 1 数量 是 物理 的 instance |
| (domain partlyLocated 2 Object) | Merge.kif 3956-3956 | 有一部分位于 的 2 数量 是 客体 的 instance |
| (instance partlyLocated BinaryPredicate) | Merge.kif 3953-3953 | 有一部分位于 是 二元谓语 的 instance |
| (instance partlyLocated SpatialRelation) | Merge.kif 3952-3952 | 有一部分位于 是 空间关系 的 instance |
| (instance partlyLocated TotalValuedRelation) | Merge.kif 3954-3954 | 有一部分位于 是 总值关系 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage partlyLocated "%1 %n 是 partlyLocated 在 %2 ") | chinese_format.kif 165-165 | |
| (format EnglishLanguage partlyLocated "%1 is %n partly located in %2") | english_format.kif 166-166 | |
| (subrelation agentOperatesInArea partlyLocated) | Government.kif 2222-2222 | 代理人在区域内经营 是 有一部分位于 的 subrelation |
| (subrelation located partlyLocated) | Merge.kif 3983-3983 | 位于 是 有一部分位于 的 subrelation |
| (termFormat ChineseLanguage partlyLocated "有一部分位于") | chinese_format.kif 166-166 | |
| (termFormat ChineseLanguage partlyLocated "部分位于") | domainEnglishFormat.kif 44557-44557 | |
| (termFormat ChineseTraditionalLanguage partlyLocated "部分位於") | domainEnglishFormat.kif 44556-44556 | |
| (termFormat EnglishLanguage partlyLocated "partly located") | domainEnglishFormat.kif 44555-44555 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1730-1736 | |
| (=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P)))))) |
MilitaryDevices.kif 2003-2012 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 3971-3978 | |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 3965-3969 | |
| (=> (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 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 159-165 | |
| (=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 |
|
| consequent |
|
|
| (<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 8722-8725 | 客体 在 另一个 客体 的 外 若且唯若 那个 客体 不 是 partlyLocated 在 那个 另外 客体 |
| (<=> (totalLengthOfWaterways ?AREA ?LENGTH) (length (KappaFn ?WATERWAY (and (instance ?WATERWAY Waterway) (partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 | 长度测量 是 地理区域 的 total 水路长路 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |
| (=> (and (overlapsSpatially ?ONE ?TWO) (instance ?TWO Region) (not (equal ?ONE ?TWO))) (partlyLocated ?ONE ?TWO)) |
Geography.kif 3418-3423 | |
| (=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 |
|
| (=> (contains ?SMALL ?BIG) (partlyLocated ?SMALL ?BIG)) |
Merge.kif 962-964 | |
| (=> (eventPartlyLocated ?PROC ?OJB) (partlyLocated ?PROC ?OJB)) |
Merge.kif 4002-4004 | |
| (=> (holdsDuring ?T1 (and (attribute ?P DisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (not (partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 | |
| (=> (holdsDuring ?T1 (and (attribute ?P InternallyDisplacedPerson) (inhabits ?P ?RES) (located ?RES ?PLACE) (citizen ?P ?NATION))) (partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 | |
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 | |
| (=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1722-1728 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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